I just watched this past week's "Ask and Engineer" from AdaFruit and Masimo was there. He did mention that the (or one of the) focus for the next release is on the actual editor. Hopefully the changes that you guys have been working on above will be considered.
Two quick questions (but might not be a quick answers...) are the changes above compatible with the latest 1.6.4 release? And, do they resolve the issue with the library and board managers having mircoscopic text on high DPI screens? (Currently to read them comfortably I have to use Microsoft's magnifier program.)