Open Conal-Tuohy opened 4 years ago
See http://www.jedit.org/api/org/gjt/sp/jedit/gui/DockableWindowManager.html for the jEdit API for controlling layout of dockable windows. In particular the setDockingLayout method provides a way to restore the layout of multiple windows at once.
@Conal-Tuohy to find the jEdit UI for defining a dockable window layout; @MarjorieBurghart to define the actual desired layout.
Here is what Ondrej sent me (his own layout):
"this is essentially my setup - I have a number of docked tools on the right, search docked at the top and console/errors/results at the bottom
on the left, the default opened tool might be either Sidekick (navigable xml structure) or xmlInsert (shows what can be entered based on the schema)
I also have line numbers and collapsable text
I have xpath on the side because it doesnt really fit at the top"
a variant we just discussed, and which may be more intuitive: the navigation / text structure docked on the left, the rest on the right:
Actually Ondrej has a plugin I did not know about, BufferTabs plugin, that allows you to display the currently open files as tabs instead of using JEdits's lousy buffer switcher:
Could we add BufferTabs plugin to the list of "soft" dependencies for the TEI plugin? And display the "buffers" as tabs?
Turn ON the "Folding" feature by default (in Utilities/Buffer Options/Folding mode)
Remember to enable the BufferTabs plugin
The TEI Plugin should provide a standard layout for the dockable windows of TEI related plugins in which they are docked in appropriate parts of the screen.