|
From: Matthias K <mat...@us...> - 2006-07-08 22:43:04
|
Update of /cvsroot/jcommander/plugins/org.jcommander.ui.filepanel/src/org/jcommander/ui/filepanel In directory sc8-pr-cvs6.sourceforge.net:/tmp/cvs-serv25471/src/org/jcommander/ui/filepanel Modified Files: FilePanelPlugin.java TabMediator.java Log Message: Implementation of feature request [1369613]: Panel auto-refresh disabling option. Index: TabMediator.java =================================================================== RCS file: /cvsroot/jcommander/plugins/org.jcommander.ui.filepanel/src/org/jcommander/ui/filepanel/TabMediator.java,v retrieving revision 1.35 retrieving revision 1.36 diff -C2 -d -r1.35 -r1.36 *** TabMediator.java 5 Apr 2006 20:34:32 -0000 1.35 --- TabMediator.java 8 Jul 2006 22:43:01 -0000 1.36 *************** *** 233,236 **** --- 233,246 ---- tab.getInactiveFilePanel().getPanelMediator().refresh(); } + + /** + * Refreshes the contents of all contained file panels. + * Each Panel refreshes only, if auto refreshing is not disabled + * @throws FileSystemException + */ + public void refreshAllConditioned() throws FileSystemException { + tab.getActiveFilePanel().getPanelMediator().refreshConditioned(); + tab.getInactiveFilePanel().getPanelMediator().refreshConditioned(); + } public void setActiveFilePanel(FilePanel panel) { Index: FilePanelPlugin.java =================================================================== RCS file: /cvsroot/jcommander/plugins/org.jcommander.ui.filepanel/src/org/jcommander/ui/filepanel/FilePanelPlugin.java,v retrieving revision 1.18 retrieving revision 1.19 diff -C2 -d -r1.18 -r1.19 *** FilePanelPlugin.java 30 Apr 2006 13:10:55 -0000 1.18 --- FilePanelPlugin.java 8 Jul 2006 22:43:01 -0000 1.19 *************** *** 57,60 **** --- 57,66 ---- public static final String AUTO_REFRESH_PANEL_CONTENTS = "AUTO_REFRESH_PANEL_CONTENTS"; + + public static final String ADVANCED_AUTO_REFRESH = "ADVANCED_AUTO_REFRESH"; + + public static final String AUTO_REFRESH_MANUAL = "AUTO_REFRESH_MANUAL"; + + public static final String AUTO_REFRESH_AUTOMATIC = "AUTO_REFRESH_AUTOMATIC"; public static final String HIDE_RIGHT_PANEL = "HIDE_RIGHT_PANEL"; |