The Djinni command line - YRMYJASKA/Djinni GitHub Wiki
What is the command line
The command line in Djinni accessed by pressing Ctrl-D in the editor itself. The command line allows the user to pass commands which do things inside the editor (e.g. rename, find, quit, etc.).
The command line can be exited by pressing Ctrl-B once.
How to use
Source code
main: 'src/cmdline.cpp'
other important files:
- 'src/commands.cpp'