search

fengalin / media-toc

Build a table of contents from a media file or split a media file into chapters
MIT License
73 stars 3 forks source link

Adapt to HiDPI screens #68

Closed fengalin closed 6 years ago

fengalin commented 7 years ago

Use bigger fonts for hdpi screens so that time indicators are easier to read.

fengalin commented 6 years ago

See http://gtk-rs.org/docs/gtk/trait.WidgetExt.html#tymethod.get_scale_factor and the last section in https://wiki.gnome.org/HowDoI/HiDpi

fengalin commented 6 years ago

This needs to be checked on actual HiDPI screens.

It would be better to use a label font size as a reference. This would render text consistently application-wide. One use case is for non HiDPI screens but with a user selected font scale greater than 1. Unfortunately, it is currently not straight forward at all to get these values. gtk::LabelExt::gst_attributes allows accessing pango::AttrList which API doesn't seem complete.