search

gselzer / pymmcore-plus-sandbox

Other
0 stars 0 forks source link

Enable font size selection #14

Open gselzer opened 1 month ago

gselzer commented 1 month ago

Some widgets within the UI, especially the GroupPresetTableWidget, could benefit from differently-sized font. This is probably something beyond pymmcore-widgets.

marktsuchida commented 1 month ago

It occurred to me that it might also be about the margins rather than (or in addition to) the font size.

On macOS it feels fairly compact despite the text not being particularly small. image