-
Thomas Hartmann authored
The textmarker is now updated when the document gets updated and the textmarker is shown again, if the user closes the QuickToolBar.
abdda359
The textmarker is now updated when the document gets updated and the textmarker is shown again, if the user closes the QuickToolBar.