From: <sh...@us...> - 2010-01-12 08:36:26
|
Revision: 16907 http://jedit.svn.sourceforge.net/jedit/?rev=16907&view=rev Author: shlomy Date: 2010-01-12 08:36:20 +0000 (Tue, 12 Jan 2010) Log Message: ----------- Fixed the tooltip for the recent file list filter. Modified Paths: -------------- jEdit/trunk/org/gjt/sp/jedit/jedit_gui.props jEdit/trunk/org/gjt/sp/jedit/menu/RecentFilesProvider.java Modified: jEdit/trunk/org/gjt/sp/jedit/jedit_gui.props =================================================================== --- jEdit/trunk/org/gjt/sp/jedit/jedit_gui.props 2010-01-12 07:06:22 UTC (rev 16906) +++ jEdit/trunk/org/gjt/sp/jedit/jedit_gui.props 2010-01-12 08:36:20 UTC (rev 16907) @@ -245,7 +245,7 @@ #{{{ Recent Files menu recent-files.code=new RecentFilesProvider(); recent-files.label=Recent $Files -recent-files.textfield.tooltip=a filter prefix can be entered here +recent-files.textfield.tooltip=a filter prefix or glob-pattern can be entered here no-recent-files.label=No Recent Files clear-recent-files.label=Clear Recent Files #}}} Modified: jEdit/trunk/org/gjt/sp/jedit/menu/RecentFilesProvider.java =================================================================== --- jEdit/trunk/org/gjt/sp/jedit/menu/RecentFilesProvider.java 2010-01-12 07:06:22 UTC (rev 16906) +++ jEdit/trunk/org/gjt/sp/jedit/menu/RecentFilesProvider.java 2010-01-12 08:36:20 UTC (rev 16907) @@ -110,7 +110,8 @@ final List<JMenuItem> menuItems = new ArrayList<JMenuItem>(); final JTextField text = new JTextField(); - text.setToolTipText(jEdit.getProperty("recent-files.textfield.tooltip") + ": " + jEdit.getProperty("glob.tooltip")); + text.setToolTipText(jEdit.getProperty("recent-files.textfield.tooltip") + + ": " + jEdit.getProperty("glob.tooltip")); menu.add(text); text.addKeyListener(new KeyAdapter() { This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |