|
|
|
|
Help on MioFactory
TechNotes related to MioFactory
Libraries related to MioFactory
Products
|
|
| |
You can edit HTML documents, JavaScript source files (.js), MioScript source files (.k), style sheets (.css), XML files (.xml), etc.
Editing with MioFactory
|
Features and Shortcuts| |
The code editor supports the following features:
Duplication (CTRL+D)
Press CTRL+D to duplicate the current line, or the selection, if any.
Code Colorize
The editor colorizes the code depending on the scripting language.
For example, comments are shown in green.
Block Indent and Out-dent
When a block of text is selected and the TAB key is pressed, all the selected lines are indented.
Press SHIFT+TAB to out-dent a line or a selection.
Drag & Drop
The selected text can be moved with drag and drop.
Press the CTRL key to copy the selection instead of moving it.
Search
Open the tab search to search for a string in all the source code files stored in the project folder.
|
|
|
|