Commit [22727b] Maximize Restore History

added tooltip in ShortcutsOptionPane

Matthieu Casanova Matthieu Casanova 2013-08-19

changed org/gjt/sp/jedit/options/ShortcutsOptionPane.java
org/gjt/sp/jedit/options/ShortcutsOptionPane.java Diff Switch to side-by-side view
Loading...