Edit a token |
Right click on the token node (a textbox will appear), navigate with arrows, edit the token, then press enter |
Split a token |
Right click on the token node (a textbox will appear), navigate with arrows, insert a space where you need to split the token. Press enter. |
Merge two tokens into a single token |
Left click on the main token (the token you want to take the markup from), then press m, then select with an arrow, which neighbor you want to append to the main token. |
Merge two tokens into a supertoken |
Left click on a token, then press s, then select with an arrow, which neighbor you want to merge with it. |