On 28.10.2011 02:31, Jim Jozwiak wrote:
> On 10/27/2011 05:21 PM, Albrecht Schlosser wrote:
>> Well, I don't dream and tell you something here. All this is done in
>> a similar way in one of my FLTK applications. Font sizes are adjusted
>> dynamically according to the window's size, and the user can resize
>> the window by dragging the window borders as usual, enlarging the
>> fonts as needed...
>
> Yes sir, this is what I want to do. Where do you keep this application
> you wrote? I want to plagiarize it.

Sorry, this is not open source; but if you need help with your code,
feel free to ask here, and I'll try to help.

> Actually, every gui should work this way...

Well, yes, maybe... It was a good design for our app, and it works
well. This is okay for me, but there may be other applications where
resizing the window should not automatically change the font size.

One example is when you have lots of text, e.g. an editor, and the
user wants to see more text on the screen. In this layout, only the
text portion would be resized and the other widgets like buttons
should stay the same. There should be different resizing mechanisms
for normal widgets like buttons, labels, etc. and font sizes inside
text widgets (editors). I'd say it depends, and we do also have such
a text display widget where you can adjust the font size with buttons.
This is becoming more and more state of the art, e.g. in browsers like
firefox with ctrl/+ and ctrl/-.

Albrecht