'Headers' allows you to edit your script's headers. Shift + Enter or CTRL + Enter will insert a forced Note that if you have selected text belonging to multipleĮlements, all of those elements' types will be changed. With the mouse which will show a menu where you can change theĮlement's style, or pressing a short-cut key for each element Other ways to change an element's style are right-clicking What kind of element Enter/Tab/Shift + Tab willĬreate/switch to is dependent on the current style of the element,Īnd is configurable by the user (see Section 5.1.3, “Elements”). Shift + Tab will always switch the element's The end of an element, otherwise it will switch the currentĮlement's style. The Tab key will create a new element if the cursor is at If theĬursor is at the end of an element, the new element will be anĮmpty one, otherwise the current element is split at the cursor The Enter key will always create a new element. File formatĢ.2.3. Adding elements and changing their style Script/Settings/(Change|Load|Save as) 4.26. File/Settings/Spell checker dictionary 4.6. Adding elements and changing their style 2.2.4.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |