verdre 6b0c8c9fe0 workspace: Rename show-close-button signal to chrome-visible
Since we no longer only show the close button but the whole window
chrome on hover, change the name of the signal.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/346
2019-01-31 17:36:25 +00:00
..
2019-01-30 22:50:01 +01:00
2019-01-31 08:29:15 +01:00
2019-01-30 22:50:01 +01:00
2019-01-31 12:33:10 -05:00
2019-01-30 22:50:01 +01:00
2019-01-30 22:50:01 +01:00
2019-01-30 22:50:01 +01:00
2019-01-30 22:50:01 +01:00
2019-01-30 22:50:01 +01:00
2019-01-30 22:50:01 +01:00
2019-01-30 22:50:01 +01:00
2019-01-30 22:50:01 +01:00
2019-01-31 14:10:30 +01:00
2019-01-30 22:50:01 +01:00
2019-01-30 22:50:01 +01:00
2019-01-30 22:50:01 +01:00
2019-01-30 22:50:01 +01:00
2019-01-30 22:50:01 +01:00
2019-01-30 22:50:01 +01:00
2019-01-30 22:50:01 +01:00
2019-01-30 22:50:01 +01:00
2019-01-30 22:50:01 +01:00
2019-01-30 22:50:01 +01:00
2019-01-30 22:50:01 +01:00