Text should be resizable

[JonasJurczok]

It should be possible to change the font size.

[hoylemd]

I think it would have something to do with the style parameter for the add method used to create ui elements. Takes a string or a LuaStyle object.

I've never worked in lua before, much less modding factorio, but I've been wanting to get into it. Maybe I'll try to tackle this as a first project.

[JonasJurczok]

Sure :) feel free to open a pull request :)

[hoylemd]

in #44, I just tweaked the styles a bit, but I'm thinking this could be implemented with a setting: Choose a UI style: normal (what it is now, or what is is in #44) or compact (smaller font size/padding etc)

[JonasJurczok]

Initially I thought about a text box to choose a font size. But maybe that's too much/not possible?! Michael D. Hoyle <[email protected]> schrieb am Di., 7. Aug. 2018, 20:15:

…

in #44 <#44>, I just tweaked the styles a bit, but I'm thinking this could be implemented with a setting: Choose a UI style: normal (what it is now, or what is is in #44 <#44>) or compact (smaller font size/padding etc) — You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub <#41 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AAFsdJAM7CmNP-kfBdi21tTvzZpNgi1Lks5uOdk2gaJpZM4Vfl8C> .

[hoylemd]

That would work, but there's a couple different text sizes in use (So headings look like headings), and things like button height may need to adjust with it. So all of that would have to be computed from the user-selected font size, which really expands the potential error space. We could allow each value to be set individually, but that's a lot to ask of the average user.

But if we just had say, 3 UI sizes that we've chosen and tested, They just have to pick one and they're good to go.

[JonasJurczok]

That's a good point. I thought about leaving all the headings as they are and just make the normal text size adjustable. If I understood the button documentation correctly it should automatically change size with the font.

…

[Tarrke]

The work to do here is just to get a way to choose which style to use, right ?

[hoylemd]

Yeah, you could have a setting to choose a size, and then have that setting determine which style to use when creating UI elements.

[JonasJurczok]

Yep. This was requested by a user. Maybe for really high/low resolutions the current default might be a problem.

[Tarrke]

Then @JonasJurczok can you add a pririty tag so we'll fix this quickly.

[JonasJurczok]

I don't know if this is actually urgent :) I view it more as a "nice to have"