Commit [321866] Maximize Restore History

Minor optimization on updating the widget (in certain conditions it can take up to 10% of the CPU time, now it's 2x faster)

Matthieu Casanova Matthieu Casanova 2013-08-13

changed org
changed org/gjt
changed org/gjt/sp
changed org/gjt/sp/jedit
changed org/gjt/sp/jedit/gui
changed org/gjt/sp/jedit/gui/statusbar
changed org/gjt/sp/jedit/gui/statusbar/TaskMonitorWidgetFactory.java
org
Directory.
org/gjt
Directory.
org/gjt/sp
Directory.
org/gjt/sp/jedit
Directory.
org/gjt/sp/jedit/gui/statusbar/TaskMonitorWidgetFactory.java Diff Switch to side-by-side view
Loading...