This commit is contained in:
Basile Burg 2017-01-26 00:53:59 +01:00
parent 9a1dcffb54
commit dedab16951
No known key found for this signature in database
GPG Key ID: 1868039F415CB8CF
1 changed files with 5 additions and 2 deletions

View File

@ -8,10 +8,13 @@ This category exposes the options of the page control used to host the code edit
![](img/options_editor_pages.png)
- **detectModuleName**: If sets then a module is lexed in order to find its module name. Can be deactivated on slowest machines.
- **detectModuleName**: Defines what will be displyaed in the tabs. If sets then a module is lexed in order to find its [module declaration](https://dlang.org/spec/module.html#ModuleDeclaration). Can be deactivated on slowest machines.
- **moveLeft**: Sets the shortcut used to move a page to left.
- **moveRight**: Sets the shortcut used to move a page to right.
- **nextPage**: Sets the shortcut used to select the next page.
- **pageButtons**: Defines which buttons are visible in the toolbar.
- **pagesOptions**: Miscellaneous options. __poPageHistory__ means the creation order is saved and used to select a particular page when another is closed.
- **pagesOptions**: Miscellaneous options.
- **poPageHistory**: Means the creation order is saved and used to select a particular page when another is closed.
- **poFlatButtons**: Sets the tool bar buttons look. Normally controlled by the [application option **flatLook**](options_application).
- **poBottomHeader**: Sets if the toolbar is displayed at the bottom.
- **previousPage**: Sets the shortcut used to select the previous page.