diff options
author | terminaldweller <thabogre@gmail.com> | 2022-04-22 05:20:45 +0000 |
---|---|---|
committer | terminaldweller <thabogre@gmail.com> | 2022-04-22 05:20:45 +0000 |
commit | 55ff6a17cd124806e30f27f5da7c5e976f6925e8 (patch) | |
tree | 7a4121545b42a8caa441adbd7f857fa918d49c45 /dmenu-border-4.9.diff | |
parent | Initial commit (diff) | |
download | dmenu-55ff6a17cd124806e30f27f5da7c5e976f6925e8.tar.gz dmenu-55ff6a17cd124806e30f27f5da7c5e976f6925e8.zip |
initial commit
Diffstat (limited to 'dmenu-border-4.9.diff')
-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; |