[request] option to reload script, after it was edited externally

Bug #1789042 reported by RaiMan on 2018-08-25
This bug affects 1 person
Affects Status Importance Assigned to Milestone

Bug Description

base implementation:
additional menu entry to do it manually

additional option:
auto detection of external changes (as other editor can do)

this request is very old ;-) Bug #705775

RaiMan (raimund-hocke) on 2018-08-25
Changed in sikuli:
status: New → In Progress
importance: Undecided → Medium
assignee: nobody → RaiMan (raimund-hocke)
milestone: none → 1.1.4
description: updated
To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers