From: <ez...@us...> - 2024-03-31 23:12:37
|
Revision: 25715 http://sourceforge.net/p/jedit/svn/25715 Author: ezust Date: 2024-03-31 23:12:35 +0000 (Sun, 31 Mar 2024) Log Message: ----------- Apply patch #635 Modified Paths: -------------- jEdit/trunk/macros/Misc/Display_Shortcuts.bsh Modified: jEdit/trunk/macros/Misc/Display_Shortcuts.bsh =================================================================== --- jEdit/trunk/macros/Misc/Display_Shortcuts.bsh 2024-03-29 16:09:39 UTC (rev 25714) +++ jEdit/trunk/macros/Misc/Display_Shortcuts.bsh 2024-03-31 23:12:35 UTC (rev 25715) @@ -75,7 +75,7 @@ String label = action.getLabel(); if(label == null) label = name; - else label = GUIUtilities.prettifyMenuLabel(label); + else label = GenericGUIUtilities.prettifyMenuLabel(label); ActionSet actionSet = jEdit.getActionSetForAction(name); String shortcut1 = actionSet.getProperty(name + ".shortcut"); if(shortcut1 == null) @@ -158,7 +158,7 @@ Collections.sort(v, new StandardUtilities.StringCompare()); table = new JTable(v, makeRow( NameLabel, Shortcut1Label, Shortcut2Label)); - table.setRowHeight(GUIUtilities.defaultRowHeight()); + table.setRowHeight(GenericGUIUtilities.defaultRowHeight()); table.getColumnModel().getColumn(0).setPreferredWidth(200); table.setRowSelectionAllowed(true); /* The next line prevents the table from being edited. This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |