Enable display settings on a per-editor level [was #7492]
{color:red}
reported by [~wissenbach] at 2008-03-07
previously known as [trac#34|http://www.textgrid.de/trac/ticket/34] {color}
Choose a visualization style per editor.
Settings can already be stored per editor via VexWidget.editorOptions. Anapropriate GUI must be implemented.