I have spent a couple of hours trying to fix a bug with theide and Cinnamon desktop, but it seems there is no workaround.
The problem seems to be that theide calls Maximize at start. This does strange thing to "zooming animation", basically freezes it at that point - and then theide runs in really weird scale ratio.
Anybody knows where to file a bug report? Because this definitely is not ours bug...
I have spent a couple of hours trying to fix a bug with theide and Cinnamon desktop, but it seems there is no workaround.
The problem seems to be that theide calls Maximize at start. This does strange thing to "zooming animation", basically freezes it at that point - and then theide runs in really weird scale ratio.
Anybody knows where to file a bug report? Because this definitely is not ours bug...