VLC Media Player not respecting GNOME theme settings
116572
Qt apps stopped inheriting GTK themes
91659
VLC will not install
110670
Problem while installing vlc player
21372
Illogical GTK theme behaviour on Ubuntu 18.04
94332
Weird behavior when overriding gnome alert styling?
118263
Active Web Site as Gnome Background
8415
Windows Media Player 12 shows wrong cover art when playing
107053
VLC shows very big icons and is unusable
140750
Why does the beamer foreground color change colors of an included PDF file?
84536
Installing a Theme with the Gnome Tweak Tool?
64795
Unable to install VLC
73196
What can I use instead of gnome-open?
141249
Is there a way to disable changing the background in GNOME?
120604
gnome-terminal backgroud and foreground colour issue
90468
Difference between GTK theme and GNOME shell theme?
2012
Two different versions of GNOME runtime
10452
How do you set the alt attribute with the Media module widget?