| 199 | } |
| 200 | |
| 201 | void Help_KeyboardShortcuts() |
| 202 | { |
| 203 | ConsoleBufferPush(" Scrolling:" ); |
| 204 | ConsoleBufferPush(" Up Arrow" ); |
| 205 | ConsoleBufferPush(" Down Arrow" ); |
| 206 | ConsoleBufferPush(" Shift + Up Arrow" ); |
| 207 | ConsoleBufferPush(" Shift + Down Arrow" ); |
| 208 | ConsoleBufferPush(" Page Up" ); |
| 209 | ConsoleBufferPush(" Page Down" ); |
| 210 | ConsoleBufferPush(" Shift + Page Up" ); |
| 211 | ConsoleBufferPush(" Shift + Page Down" ); |
| 212 | |
| 213 | ConsoleBufferPush(" Bookmarks:" ); |
| 214 | ConsoleBufferPush(" Ctrl-Shift-#" ); |
| 215 | ConsoleBufferPush(" Ctrl-# " ); |
| 216 | } |
| 217 | |
| 218 | |
| 219 | void _ColorizeHeader( |
no test coverage detected