From dedab16951dc085c2cf9f6a151e2b6085a0b186d Mon Sep 17 00:00:00 2001 From: Basile Burg Date: Thu, 26 Jan 2017 00:53:59 +0100 Subject: [PATCH] doc --- docs/options_editor_pages.md | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/docs/options_editor_pages.md b/docs/options_editor_pages.md index 6c327d4f..a30839ef 100644 --- a/docs/options_editor_pages.md +++ b/docs/options_editor_pages.md @@ -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. \ No newline at end of file