Pedro J. Estébanez 1c25e50490 Add new window setting: always on top
Implemented for Windows and Linux.

(cherry picked from commit ee2c31d306e9333b520e0668f26807d876905241)
2018-04-14 19:03:53 +02:00
..
2018-02-22 12:17:06 +01:00
2018-04-14 19:03:53 +02:00
2017-12-16 16:20:36 -03:00
2017-10-13 16:40:22 -05:00