From 7700db358ce0d1bcc7604128a5da2058e3d5ae16 Mon Sep 17 00:00:00 2001 From: DarkWiiPlayer Date: Tue, 18 Feb 2020 16:57:13 +0100 Subject: [PATCH] Add scripts to add or remove window decorations --- bin/+decor | 1 + bin/-decor | 1 + 2 files changed, 2 insertions(+) create mode 100755 bin/+decor create mode 100755 bin/-decor diff --git a/bin/+decor b/bin/+decor new file mode 100755 index 0000000..257e6be --- /dev/null +++ b/bin/+decor @@ -0,0 +1 @@ +xprop -f _MOTIF_WM_HINTS 32c -set _MOTIF_WM_HINTS "0x2, 0x0, 0x1, 0x0, 0x0" diff --git a/bin/-decor b/bin/-decor new file mode 100755 index 0000000..b2b4da3 --- /dev/null +++ b/bin/-decor @@ -0,0 +1 @@ +xprop -f _MOTIF_WM_HINTS 32c -set _MOTIF_WM_HINTS "0x2, 0x0, 0x0, 0x0, 0x0"