Opened 6 years ago

Closed 6 years ago

#55 closed enhancement (fixed)

recognize when file is changed on disk

Reported by: szabgab Owned by:
Priority: major Milestone:
Component: editor Version:
Keywords: Cc: jquelin@…

Description

Recognize when file is changed on disk
and ask user if what does she want to do?

Sspecially important to do this before saving file.

Change History (4)

comment:1 Changed 6 years ago by szabgab

it is alrady done before saving the file

it should be also done when a document gets focus

and optionally every time when a document is changed.

comment:2 Changed 6 years ago by jquelin

  • Cc jquelin@… added

monitor open files on a regular basis (every 10 seconds?) and popup user asking to reload / ignore.

if user chose to ignore and file changes again on disk, either popup again or ignore till next save or reload.

comment:3 Changed 6 years ago by jquelin

r1036 - check done every 5 seconds

comment:4 Changed 6 years ago by jquelin

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