diff options
Diffstat (limited to '')
| -rw-r--r-- | dmenu-border-4.9.diff | 10 |
1 files changed, 10 insertions, 0 deletions
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; |