]> git.plutz.net Git - serve0/commitdiff
swap Add and Flip buttons
authorPaul Hänsch <paul@plutz.net>
Sun, 13 Nov 2022 21:22:28 +0000 (22:22 +0100)
committerPaul Hänsch <paul@plutz.net>
Sun, 13 Nov 2022 21:22:28 +0000 (22:22 +0100)
widgets.sh

index cd9cf3b85728b7a6a3132ccae619316086c60984..3efb79bb63a77acc3fb936a1d03b2734dfa15dcc 100755 (executable)
@@ -266,7 +266,7 @@ w_tagging(){
   cat <<-EOF
          [fieldset [legend New:][textarea name=newtag]
          [label [checkbox "makegroup" "true"] Join selected into group]
-         [submit "op" "del" Remove][submit "op" "add" Add][submit "op" "flip" Flip]
+         [submit "op" "del" Remove][submit "op" "flip" Flip][submit "op" "add" Add]
        ]]
        EOF
 }