Uses of Class
mars.venus.editor.FileEditorTab
Packages that use FileEditorTab
-
Uses of FileEditorTab in mars.venus
Methods in mars.venus that return FileEditorTabModifier and TypeMethodDescriptionMainPane.getCurrentEditorTab()
Returns the current editor tab selected in the "Edit" tab. -
Uses of FileEditorTab in mars.venus.editor
Methods in mars.venus.editor that return FileEditorTabModifier and TypeMethodDescriptionEditTab.getCurrentEditorTab()
Get the currently selected editor tab.EditTab.getCurrentEditorTab
(File file) If the given file is open, make it the current tab.EditTab.getEditorTab
(File file) Get the editor tab corresponding to the given file, if the file is open.Methods in mars.venus.editor that return types with arguments of type FileEditorTabModifier and TypeMethodDescriptionEditTab.getEditorTabs()
Get the list of currently open editor tabs by iterating through the component list.Methods in mars.venus.editor with parameters of type FileEditorTabModifier and TypeMethodDescriptionboolean
EditTab.closeFile
(FileEditorTab tab) Carries out all necessary operations to implement the Close operation from the File menu.boolean
EditTab.resolveUnsavedChanges
(FileEditorTab tab) Check whether file has unsaved edits and, if so, check with user about saving them.void
EditTab.setCurrentEditorTab
(FileEditorTab tab) Select the specified file editor tab to be the current tab.void
EditTab.updateTitleAndMenuState
(FileEditorTab tab) Update the title on a given tab and possibly the title of the window, as well as the GUI's menu state (i.e. which actions are enabled) if applicable. -
Uses of FileEditorTab in mars.venus.editor.jeditsyntax
Constructors in mars.venus.editor.jeditsyntax with parameters of type FileEditorTabModifierConstructorDescriptionJEditBasedTextArea
(FileEditorTab fileEditorTab, Settings settings, JComponent lineNumbers)