Display not updated when attributes changed [was #7491]
{color:red}
reported by [~wissenbach] at 2008-05-15
previously known as [trac#58|http://www.textgrid.de/trac/ticket/58] {color}
A CSS rule matches an element with a certain attribute value. When the value is changed in the editor (properties view) the display is not updated according to the style sheed immediately.