Ubuntu 18.04 with Cinnamon desktop.
- VLC option View / Always on top doesn't work.
- Right click on window title + Always on Top does work, but only for the current video
The first item is likely due to a bug in either VLC or GTK.
I'd like to configure VLC to always be on top when playing, without having to click on the frame title each time I open a video. Any answer to work around the bug in item 1, or to automate the workaround in item 2 is welcome.