Opened 5 years ago

Closed 4 years ago

#767 closed defect (fixed)

bad ui: padre prompts one by one for files changed on disk

Reported by: jquelin Owned by:
Priority: major Milestone:
Component: editor Version: 0.50
Keywords: Cc:

Description

padre checks periodically if current file is changed on disk. if that's the case, it prompts the user whether to reload the file.

now take the casual git user which works on a project with lots of files opened at the same time. at some point in time, she checks out another branch of the same project.
==> padre warns of file changes for *each* opened file!

this is just plain wrong. i propose that if a file has changed on disk, padre checks all files and displays a list with checkboxes in order for user to select which files to reopen.

i guess the ui can be shared with the one proposed in ticket #454

Change History (3)

comment:1 Changed 5 years ago by Sewi

You expect that all files come from one project, change-on-disk - checking is cheap and that there are only few files open.

Padre has a menu option File -> "Reload all files" which reloads all files based on user request. This is very helpful after doing svn update :-)

comment:2 Changed 5 years ago by jquelin

agreed, but yet disrupts the train of thinking. padre proposing the right thing to do would be way better for an intelligent ide. :-)

comment:3 Changed 4 years ago by adamk

  • Resolution set to fixed
  • Status changed from new to closed

This no longer happens

Note: See TracTickets for help on using tickets.