Fix Python Editor Undo/Redo
Small fix for the Undo/Redo framework when Pygment is missing. This only affects the editor itself and not other part of pv.
@keu-sciviz
Edited by Thomas Caissard
Small fix for the Undo/Redo framework when Pygment is missing. This only affects the editor itself and not other part of pv.
@keu-sciviz