extension ExtPose

CalcCheck Indenter

CRX id

bbkojflhldpidbhpkknnniajcojmbecf-

Description from extension meta

Easy indenting for CalcCheckWeb

Image from store CalcCheck Indenter
Description from store – 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

Statistics

Installs
Category
Rating
5.0 (3 votes)
Last update / version
2018-12-03 / 1.4.1
Listing languages
en

Links