Commit [466644] master Maximize Restore History

use of JPanel instead of a Box

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...