|
|
|
|
|
|
|
|
|
|
- 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: Coloring out of 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.  New in SaaSNote: Copying WLanguage code from the editor to a third-party tool: - Now, copied/pasted code always uses light theme colors. This means that code copied in dark theme won't be pasted with a dark background.
- Copied/pasted code now supports plain text and HTML. If you paste code in an application that supports HTML (e.g. Thunderbird or Outlook), it will be pasted directly using HTML formatting. Syntax highlighting uses the colors from the light theme.
Code editor theme settings window To open the code editor theme settings window: - Display the code editor editing options: under the "Home" pane, in the "Environment" group, pull down "Options" and select "Code editor options".
- In the "Styles" tab, the various themes of the code editor are listed:
- Clair (Version 21 and earlier): code editor theme for version 21.
- Clear: clear code editor theme (on white background).
- Dark: dark theme for the code editor (on a black background).
- Grayed: grayed theme of the code editor (on a gray background).
From this window, you can: - use one of the default themes.
- modify one of the default themes.
Note: The 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 on the theme name in the theme configuration window: the label "(Active)" 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, you 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.
Please note: The 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.
Note: 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: Coloring out of 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…
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|