From: Neil H. <ne...@sc...> - 2001-09-02 21:29:22
|
> I really dislike the UI for the Property Editor and want to recode it so > that it presents a grid of properties and values like VB, Boa, and most > other tools that let you change the attributes of widgets. However, the one > we have today is working, so it keeps getting knocked down on my priority > list. On Linux/X/GTK+ the property editor often moves when you click on it making the UI quite difficult to use. The default font sizes are also very small there. I'm not sure which code is responsible for this but even after trying to do the right thing in Scintilla/SciTE, the setup for GTK+ has to choose 12 point to be similar to 10 point on Windows. Neil |