| 409 | void resetCommandBufferToPrompt() { commandBuffer = getCurrentPromptPrefix(); } |
| 410 | |
| 411 | size_t getCommandPromptLength() { |
| 412 | String prompt = getCurrentPromptPrefix(); |
| 413 | if (commandBuffer.startsWith(prompt)) return prompt.length(); |
| 414 | if (commandBuffer.startsWith("> ")) return 2; |
| 415 | return 0; |
| 416 | } |
| 417 | |
| 418 | String getBufferedCommandInput() { |
| 419 | size_t promptLength = getCommandPromptLength(); |
no test coverage detected