[patch] IDE: better behavior for "use tab history when closing tabs" setting
Original Reporter info from Mantis: etrusco
-
Reporter name: Flávio Etrusco
Original Reporter info from Mantis: etrusco
- Reporter name: Flávio Etrusco
Description:
The patch implements close tab behavior similar to other tabbed interfaces (when the user switches the page explicitly, break/clear the tab history and use the normal selection order - select the next/right editor - thereafter).
The patch also does some cleaning up.
Use-case (current problem):
After you select a tab/file, it becomes very annoying to close files to the right of it afterwards.
Ex. select tab3 to do something, decide you want to close tabs 4,5,6,*; click one of the tabs and close it; tab3 is activated back; select and close a new tab; tab3 is activated back; etc.
The patch preserves the (AFAICS one and only) intended use-case:
You're editing a file and have some other files open. You navigate some declarations using Ctrl+Click which opens some files. When you found what you want, you go closing the "temporary" files until you reach the original one.
Mantis conversion info:
- Mantis ID: 20316
- Version: 0.9.31 (SVN)