statecharts
statecharts copied to clipboard
Display issues when editing documentation property on Linux
YAKINDU Statechart Tools allows for annotating elements with a documentation property. Editing this text on Linux (GTK) is difficult, because …
- when editing in der Properties view, selected text is not highlighted,
- when editing in the element itself, selected text appears white on white background.