Category Uncategorized

Another header fix for Windows 10

Happy holidays. Added a fix for margin issues on windows 10.

Fixed a bug where the wrong tab would show if a window was closed via middle mouse click