diff options
Diffstat (limited to 'users/grfn/xanthous/src/Xanthous/App.hs')
| -rw-r--r-- | users/grfn/xanthous/src/Xanthous/App.hs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/users/grfn/xanthous/src/Xanthous/App.hs b/users/grfn/xanthous/src/Xanthous/App.hs index 8c5cffc9f859..9558c17bcd6c 100644 --- a/users/grfn/xanthous/src/Xanthous/App.hs +++ b/users/grfn/xanthous/src/Xanthous/App.hs @@ -342,7 +342,10 @@ handleCommand (StartAutoMove dir) = do runAutocommand $ AutoMove dir continue -handleCommand Rest = runAutocommand AutoRest >> continue +handleCommand Rest = do + say_ ["autocommands", "resting"] + runAutocommand AutoRest + continue -- |