Notable changes:
* Smaller media title font (fits more characters on screen)
* Constant top timer numbers size (time no longer moves left/right when hour changes)
* Reduced top shadow overlay height
* Smaller buttons on bottom controls panel (their icon size remains the same)
* Reduced bottom panel and progress bar height
* Few additional margins and font sizes tweaks
This is a temporary workaround I came up with for app performance drop on Wayland after any popover is opened. We are waiting for a proper fix from GTK4 devs. Until then, this is still much better that nothing.
We cannot depend on the value saved by GStreamer, cause it is shared with all GStreamer based apps. Lets save the last value to gsettings instead to make sure this is the volume we used with this app. With this change we can also see the right volume on startup before media file is loaded (previously it was shown always as muted).
Manually specifying text encoding is just wrong.
Especially for people who have no idea what text encoding they use (or what it is).
Lets try to be a little more user friendly and autodetect the encoding of each file.
The detection will be done inside GStreamer when first text buffer is received,
so another (but this time optional) patch is added, but who cares :-)
Add some missing information about why Flatpak right now is recommended, that otherwise patching is required and why Wayland is recommended. Hopefully with this, I will not have to keep repeating those to everyone on each day :-)
Move items under "Playback" tab to "Player" tab to reduce number of top bar tabs in prefs. Also temporarly disable subtitles settings due to lack of external subtitles support.
When dark theme is used, sliders (especially progress on fullscreen) tend to look a little too dark (as if they were disabled). To overcome this, add an option to force them to be 20% brighter.
