Class TabbedMDI

    • Field Detail

      • tabFolder

        private org.eclipse.swt.custom.CTabFolder tabFolder
      • select_history

        private java.util.LinkedList<TabbedEntry> select_history
      • minimized

        protected boolean minimized
      • iFolderHeightAdj

        private int iFolderHeightAdj
      • props_prefix

        private final java.lang.String props_prefix
      • minimumCharacters

        private int minimumCharacters
      • isMainMDI

        protected boolean isMainMDI
      • mapUserClosedTabs

        private java.util.Map mapUserClosedTabs
      • maximizeVisible

        private boolean maximizeVisible
      • minimizeVisible

        private boolean minimizeVisible
      • topRight

        private org.eclipse.swt.widgets.Composite topRight
      • destroyEntriesOnDeactivate

        private boolean destroyEntriesOnDeactivate
      • dataSource

        private java.lang.Object dataSource
      • allowSubViews

        private boolean allowSubViews
    • Constructor Detail

      • TabbedMDI

        public TabbedMDI()
      • TabbedMDI

        public TabbedMDI​(java.lang.Class<?> pluginDataSourceType,
                         java.lang.String viewID,
                         java.lang.String props_prefix,
                         UISWTView parentView,
                         java.lang.Object dataSource)
        Parameters:
        pluginDataSourceType - Only needed if every tab is based on the same datasource, such as Download
        viewID - ID used to register views against this MDI
        parent - SWT Composite to place widgets on
        props_prefix - Prefix for loading MDIs properties (open history, etc)
        Also used to get registered menu items. So, should be one of MENU_ constants in MenuManager
        parentView - This MDI's parent. For example, Parent=(Torrent's Peers View), this=(MDI showing Piece Map, Files, etc)
        dataSource - DataSource to pass into each new entry. If null, entry's initial datasource will be used.