Opened 10 years ago

Closed 10 years ago

#612 closed defect (fixed)

Prevent loading the same file twice

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

Description

Whenever a file is being loaded, for any reason, the editor should ensure that it is not loaded twice.

Having two copies of a file in two editor tabs should be impossible to achieve.

Change History (4)

comment:1 Changed 10 years ago by szabgab

This used to be the case (there is a function Padre::Wx::Main::find_editor_of_file to help in locating the editor based on filename) The behavior was that when you tried to open a file that was already opened Padre simply focused on the already opened instance.

On the other hand there is a need to have the same file opened in the editor more than once (to edit on part of it while looking at another part) but in that case both editor windows should be tied to the same buffer. The "Split window" menu option used to offer this functionality many moons ago but then it got broken and recently removed.

comment:2 Changed 10 years ago by Sewi

  • Owner set to Sewi
  • Status changed from new to accepted

comment:3 Changed 10 years ago by Sewi

fixed in r8414, need to be verified under Windows

comment:4 Changed 10 years ago by Sewi

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

Verified under windows (azawawi++)

Note: See TracTickets for help on using tickets.