From bbaf2764bc72cceaa5ab0a5cd2bce6d3fddd5189 Mon Sep 17 00:00:00 2001 From: Colin Clark Date: Sat, 15 Jul 2023 16:33:39 +0100 Subject: [PATCH] Bug fix: Incorrect regex in document generator --- doc/create-shortcuts-xml.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/create-shortcuts-xml.sh b/doc/create-shortcuts-xml.sh index b3797043..4ea254bf 100755 --- a/doc/create-shortcuts-xml.sh +++ b/doc/create-shortcuts-xml.sh @@ -81,10 +81,10 @@ awk_window='BEGIN { {FS=","} while ($0 !~ /^hard_coded_window_keys/) {getline} } -$0~/\{static_cast\\(0\), 0/ {exit} +$0~/{static_cast\(0\), 0/ {exit} { -gsub(/\{static_cast\\(0\)/, "", $1); -gsub(/\{static_cast\\(GDK_CONTROL_MASK \+ GDK_SHIFT_MASK\)/, "Ctrl + Shift +", $1); +gsub(/{static_cast\(0\)/, "", $1); +gsub(/{static_cast\(GDK_CONTROL_MASK \+ GDK_SHIFT_MASK\)/, "Ctrl + Shift +", $1); gsub(/{GDK_CONTROL_MASK/, "Ctrl +", $1); gsub(/{GDK_SHIFT_MASK/, "Shift +", $1); gsub(/{GDK_MOD1_MASK/, "Alt +", $1); -- 2.20.1