Henrik Lissner db9106f92c fix(popup,undo): show undo-tree visualizer in popup ...

But only if undo-tree-visualizer-diff is disabled. If it's enabled,
undo-tree has its own opinions on how to manage the two windows which
don't mesh well with our popup manager, so we leave undo-tree to its
devices.

Fix: #5617

2021-10-20 21:42:13 +02:00

16 KiB

Raw Blame History

View Raw