Easy indenting for CalcCheckWeb
– Press Ctrl+Alt+V to copy line from two lines up to current line
– Press Ctrl+Shift+K to clear currently selected line(s) (similar to VS Code)
– Displays warning on navigation away from unsaved notebook (provided syntax or proof check has been run since last save)
Latest reviews
- (2018-11-05) Arshan: All I needed