Laggy editor

[vincou (wolf21)]

Thank you very much,

I disabled auto hide windows task bar and now its perfectly working !

Actually had this thing since 5.0,

Well done !!!