David Capello 3ac4ca8869 Create a custom widget for UndoHistory (fix #3281)
Several performance issues fixed (as we avoid keeping a ListBox with
ListItem in sync with the UndoHistory/UndoStates). There is still some
room for improvement: e.g. grouping several ui::View::updateView() in
just one if several onAddUndoState() will be called (e.g. when we are
running a script without transactions).
2022-05-23 16:19:06 -03:00
..
2022-01-05 20:45:08 -03:00
2021-01-05 14:43:43 -03:00
2017-03-15 14:24:42 -03:00
2019-10-01 14:55:08 -03:00