statecharts
statecharts copied to clipboard
Graphical editor doesn't properly recognize when to remove scrollbar
In the following screenshot, the statechart editor's vertical scrollbar is clearly superfluous and should not be shown:
However, if the window is just a little taller, the scrollbar disappears: