Ticket #786 (closed enhancement: fixed)

Opened 4 years ago

Last modified 2 years ago

File Monitoring 2.0

Reported by: adamk Owned by:
Priority: major Milestone:
Component: editor Version: 0.51
Keywords: Cc:


While I have it in my head, here is my proposal for an upgraded file monitoring mechanism.

Monitoring will continue to occur as per normal for the currently active document, at periodic intervals, with a popup/warning to notify the user of any changes.

Monitoring will not occur for documents that are not in focus (or when Padre is in the background).

The out-of-date/deleted check will occur only when the document assumes focus. i.e. When the user switches the focus to that document. Even so, it will still occur in the background, and a slight delay between switching to a file and the warning dialog is acceptable (as long as this time is near or below the perceptual threshhold of the changed editor).

Change History

comment:1 Changed 2 years ago by bowtie

  • Status changed from new to closed
  • Resolution set to fixed
Note: See TracTickets for help on using tickets.