Development environment language | Selection of language of the development environment (the language for the running application is entered in the "PmaRoot > Application > Main language of runtime" configurator)
Czech
English
Polish |
---|---|
Sort objects in tree only by name | If checked, then Pma objects in the tree of Pma objects are sorted by the name. Otherwise objects are not sorted and they are ordered as they were created. |
When editing, save objects without questions | If not checked, then a box opens with the question if to save the object when editing is closed for unsaved Pma object. |
Path to the XML editor | The path to the editor that is opened after exporting the data from the editor of Pma objects or the graphics editor environment. It is performed only if starting of this editor is enabled. See: Data export to the XML text file. |
Use different font in the development environment | If checked, then it can be set user defined font to be used in the development environment PROMOTIC.
If the font size is changed, all the windows are modified, in order to preserve the original window layout. It allows to use the PROMOTIC system on high resolution screens, where the font is displayed very small. For changing font in the running application see the "Use different font in system windows" configurator. |
Development environment font | It is used to define the font that will be used in the development environment. |