From 55ff6a17cd124806e30f27f5da7c5e976f6925e8 Mon Sep 17 00:00:00 2001 From: terminaldweller Date: Fri, 22 Apr 2022 09:50:45 +0430 Subject: initial commit --- dmenu-border-4.9.diff | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 dmenu-border-4.9.diff (limited to 'dmenu-border-4.9.diff') diff --git a/dmenu-border-4.9.diff b/dmenu-border-4.9.diff new file mode 100644 index 0000000..6e0987e --- /dev/null +++ b/dmenu-border-4.9.diff @@ -0,0 +1,10 @@ +diff -up dmenu-4.9-b/config.def.h dmenu-4.9-a/config.def.h +--- dmenu-4.9-b/config.def.h 2019-02-02 13:55:02.000000000 +0100 ++++ dmenu-4.9-a/config.def.h 2019-05-19 02:10:12.740040403 +0200 +@@ -21,3 +21,6 @@ static unsigned int lines = 0; + * for example: " /?\"&[]" + */ + static const char worddelimiters[] = " "; ++ ++/* Size of the window border */ ++static const unsigned int border_width = 5; -- cgit v1.2.3