diff --git a/gui/main.ui b/gui/main.ui index 8332a19e1..06d7e4cd7 100644 --- a/gui/main.ui +++ b/gui/main.ui @@ -210,6 +210,12 @@ &Files... + + Check files + + + Check files + Ctrl+F @@ -222,6 +228,12 @@ &Directory... + + Check directory + + + Check directory + Ctrl+D @@ -246,6 +258,12 @@ &Stop + + Stop checking + + + Stop checking + Esc