allow adding new font tags + code format

2026-09-25 01:30:44 +00:00 · 2014-11-05 10:49:14 +01:00
parent e19562fefd
commit 3bf44354dd
31 changed files with 631 additions and 569 deletions
@@ -1890,7 +1890,7 @@ public final class MainPanel extends JPanel implements ActionListener, TreeSelec
        if (dumpInfo != null) {
            setDumpTreeSelectedNode(dumpInfo);
        }
-        
+
        reload(true);
    }