ONLINE HELP
 WINDEVWEBDEV AND WINDEV MOBILE

This content has been translated automatically.  Click here  to view the French version.
Help / Editors / Code editor
  • Overview
  • How to?
  • Code editor theme configuration window
  • Modify the theme used
  • Modify one of the standard themes
  • Delete a theme
  • Import a theme
  • Special case: Syntax highlighting outside a configuration
WINDEV
WindowsLinuxUniversal Windows 10 AppJavaReports and QueriesUser code (UMC)
WEBDEV
WindowsLinuxPHPWEBDEV - Browser code
WINDEV Mobile
AndroidAndroid Widget iPhone/iPadIOS WidgetApple WatchMac CatalystUniversal Windows 10 App
Others
Stored procedures
Overview
The WINDEV, WEBDEV and WINDEV Mobile environment offers a light theme 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.
How to?

Code editor theme configuration window

To display the code editor's theme configuration window:
  1. Display the edit options of the code editor: on the "Home" tab, in the "Environment" group, expand "Options" and select "Options of the code editor".
  2. The different themes found in the code editor are listed in the "Coloring" tab :
    Choosing the code theme
    • 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 proposed themes.
  • modify one of the proposed themes.
    Remark: The themes proposed by default cannot be modified directly. They must be duplicated in order to be modified.
  • delete one of the proposed themes,
  • import a theme.

Modify the theme used

To use a theme in the code editor:
  1. Display the theme configuration window.
  2. Double-click on the theme name in the theme configuration window: the caption "(Enabled)" is displayed on the theme line.

Modify one of the standard themes

To modify one of the standard themes:
  1. Display the theme configuration window.
  2. Select the desired theme and click "Duplicate".
  3. Give a name to the new theme and validate.
    Name of duplicated theme
  4. The new theme appears in the list of available themes. To modify its characteristics, select the theme and click "Modify".
  5. The theme configuration window is displayed. The list of all configurable elements is displayed.
    Configuring the theme elements
    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).
  6. To exit from the modification mode, click Exit from modifications. The editor proposes to save or cancel the modifications.
New in version 2024
The color s specified for certain theme elements (number, strings, etc.) can be used to customize the color of variables with the attribute . For more details, see Declaring and using a variable.

Delete a theme

To delete a theme:
  1. Display the theme configuration window.
  2. Select a non-active theme.
  3. Click the "Delete" button and validate.
Caution: The themes proposed by default cannot be deleted.

Import a theme

To import a theme:
  1. Display the theme configuration window.
  2. Click the "Import" button.
  3. Select the ".sco" file corresponding to the theme to import and validate.
Remark: To export a theme:
  1. Display the modification screen of the theme.
  2. Click the Import/Export button and select "Export a theme".
  3. 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).
Minimum version required
  • Version 9
This page is also available for…
Comments
Click [Add] to post a comment

Last update: 05/24/2024

Send a report | Local help