Autocomplete for popular keywords, manually put in. The auto-complete adds brackets at the end of keyword '{}' , closing 'end{<keyword>}' tag.
Autocomplete for popular keywords, manually put in.
The auto-complete adds brackets at the end of keyword '{}' , closing 'end{}' tag.