Minor UI inconvenience

Sequence Generator
1

Small buttons top right in the title bar: the one that controls either maximizing the window or restore down to a non-maximized size does not change the button shape. It works fine to control the window size, but it will always show as a button to maximize, even when the window is already maximized.

Using 4.1.0.725.

2

Yep, thx, just a bug. I have it fixed in beta 729 and higher. Keep in mind that, while it works properly, the colors make the icons in the titlebar difficult to see, but neither colors or icons for release have been fully finalized and it will be corrected prior to release.