| commit | 379b1556edbacc625e2994b9924896b590bacc75 | [log] [tgz] |
|---|---|---|
| author | Benno Schulenberg <bensberg@justemail.net> | Sat Dec 03 20:37:30 2016 +0100 |
| committer | Benno Schulenberg <bensberg@justemail.net> | Sun Dec 04 12:34:56 2016 +0100 |
| tree | fb2ab4f5972ea0e9befe55265c847581dec0ea74 | |
| parent | bfcce57b69415f7ab4aa5fb52329fd2d6c099bed [diff] |
prompt: remove two fragments of dead code None of the prompts offer a total-refresh shortcut -- only the edit window, the help viewer, and the file browser provide this.