Thanks for details. I'll fix it (or at least try :D) in a next release. > It would be nice to rename the editor tabs. It is planned. But there are many things have higher priority (one of them is multi threading).
Thanks for details. I'll fix it (or at least try :D) in a next release. > It would be nice to rename the editor tabs. It is planned. But there are many things have higher priority (one of them is multi threading).