diff options
author | Leo Tenenbaum <pommicket@gmail.com> | 2021-03-07 11:31:56 -0500 |
---|---|---|
committer | Leo Tenenbaum <pommicket@gmail.com> | 2021-03-07 11:31:56 -0500 |
commit | 4e2e9f00ec0c67a577639df399fef9851c3ae78d (patch) | |
tree | ae9a2031d3628d857e4caf02f5a91a43858ea447 /README.md | |
parent | 0ccd4de98d9f432053552edde65691888b564fdf (diff) |
resizable build window
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 9 |
1 files changed, 9 insertions, 0 deletions
@@ -61,6 +61,15 @@ The extensions section is fairly self-explanatory. To reset your ted configuration to the default settings, delete your ted.cfg file (`~/.local/share/ted/ted.cfg` on Linux, `C:\Users\<your user name>\AppData\Local\ted\ted.cfg` on Windows) or move it somewhere else. +### Tips + +- Even if you don't want to change anything with ted, it's a good idea to look at the config file to see all of the +keyboard shortcuts! +- You can use Ctrl+f for "find", but if you want to search for something across multiple files, you can do +Ctrl+! (run shell command), then run `grep -n search_term *.py`, for example (on Windows, you will need to have +cygwin or something in your PATH for this to work). The `-n` ensures that +ted can jump to the results, just like jumping to build errors. + ### IDE-like features If you are working in a compiled language, like C, you can press F4 to compile your code. The default is to run `make` in |