|
|
|
|
|
|
|
|
|
|
- Overview
- How to?
- Code editor theme settings window
- Modifying the current theme
- Modifying one of the default themes
- Deleting a theme
- Importing a theme
- Special case: Syntax highlighting outside a configuration
WINDEV, WEBDEV and WINDEV Mobile feature a light and a dark theme. These themes are also available in the code editor. You can create and configure your own theme or import an existing theme. Code editor theme settings window To open the code editor theme settings window: - Go to the code editor options: on the "Home" tab, in the "Environment" group, expand "Options" and select "Options of the code editor".
- The different themes of the code editor are listed in the "Coloring" tab :
- Light (Legacy): code editor theme corresponding to version 21.
- Light: code editor light theme (on white background).
- Dark: code editor dark theme (on black background).
- Gray: code editor gray theme (on gray background).
From this window, you can: - use one of the default themes.
- modify one of the default themes.
Remark: Default themes cannot be modified directly. They must be duplicated in order to be modified. - delete one of the default themes,
- import a theme.
Modifying the current theme To use a theme in the code editor: - Open the theme settings window.
- Double-click the desired theme in the theme settings window: the caption "(Enabled)" is displayed on the theme line.
Modifying one of the default themes To modify one of the default themes: - Open the theme settings window.
- Select the desired theme and click "Duplicate".
- Name the new theme and confirm.
- The new theme appears in the list of available themes. To modify its characteristics, select the theme and click "Modify".
- The theme configuration window is displayed. The list of all configurable elements is displayed.
For each element, yo have the ability to configure (according to the type of element):
- The background color.
- The font color.
- The font.
- The font size.
- The characteristics of the font (bold, italic, underlined, strikeout).
- To exit from the modification mode, click
 . The editor proposes to save or cancel the modifications.
The colors selected for some theme elements (numbers, strings, etc.) can be used to customize variables with the <color> attribute. For more details, see Declaring and using a variable. Deleting a theme To delete a theme: - Open the theme settings window.
- Select a non-active theme.
- Click the "Delete" button and confirm.
Caution: Default themes cannot be deleted. Importing a theme To import a theme: - Open the theme settings window.
- Click the "Import" button.
- Select the ".sco" file corresponding to the theme to import and validate.
Remark: To export a theme: - Open the theme edit window.
- Click the
 button and select "Export a theme". - Specify the name of the ".sco" file corresponding to the theme and validate.
Special case: Syntax highlighting outside a configuration When an element that is not in the configuration is opened in the editor, the code is colored, but a specific background color is used (gray by default, on light theme).
This page is also available for…
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|