Well, I think it is too hard to change something in current design of TheIDE. Font size is serialized in pixels without taking zooming into account. This is how it is designed. On the other hand, using computer with different sets of displays requires more changes than just fixing font size.
It would be useful to allow TheIDE to use different configuration files via GUI or command line. That would solve all my problems. I'd make separate configuration file for each set of displays I'm working with.
TIA.
Sounds reasonable. Will do that... (but for the time being, perhaps two separete theide folders would work as well...)
Members
Pages
Help
Register
Login
Home
