Window Positions - touniez/comp402doc GitHub Wiki
DrJava can save the last position of the main window and its dialogs and restore them the next time DrJava is started.
Save Main Window Postion (window.store.position = true
)
Whether to save the position and size of the DrJava window between
sessions.
Save "xxx" Dialog Postion (several choices for "xxx": dialog.clipboardhistory.store.position = true
, dialog.gotofile.store.position = true
, dialog.openjavadoc.store.position = true
, dialog.completeword.store.position = true
, dialog.jaroptions.store.position = true
)
Whether to save the position and size of the indicated dialog between
DrJava sessions.
Reset "xxx" Dialog Postion and Size (several choices for "xxx")
By pressing this button, you can reset the position and size of the
indicated dialog to its default value. This is useful if the dialog
somehow appeared outside the screen and is not accessible, e.g. when
switching from a dual-screen computer to a single-screen computer.
Detach Tabbed Panes (tabbedpanes.detach = false
)
By default, the tabbed panes are attached to the bottom of DrJava's main
window. By selecting this option, DrJava displays the tabbed panes in
their own separate window.
Detach Debugger (debugger.detach = false
)
By default, the debugger pane is displayed in DrJava's main window. By
selecting this option, DrJava displays the debugger in its own separate
window.