Differences

This shows you the differences between two versions of the page.

--- docs:tips_n_tricks:x11.html [16.05.2010 23:52 CEST] – peter
+++ docs:tips_n_tricks:x11.html [08.01.2020 14:23 CET] (current) – peter
@@ Line 14: / Line 14: @@
   echo -en "\033]0;$title\007"
   exit $?
+see also [[:docs:links.html#external_tipps_n_tricks|xtermcontrol]]
+===== Disabling Edge Tiling in Metacity (Windowmanager) =====
+   ~ $ gsettings set org.gnome.metacity edge-tiling false
+   ~ $ ps -ef |fgrep metacity
+  user     4443  4431  1 Jan05 ?        00:42:00 metacity --sm-client-id 2ffd4990f-c0bb-4a4e-9d1c-233170dd59c2
+  user    29483  6578  0 14:17 pts/14   00:00:00 grep -F metacity
+   ~ $ metacity --sm-client-id 2ffd4990f-c0bb-4a4e-9d1c-233170dd59c2 --replace