Skip to content

UI: Map Editor

Jump to bottom
Andrea Ferrandi edited this page Mar 7, 2020 · 13 revisions

An editor to create and edit maps, specifically the maps that are stored as files on the server. In other words you can't edit maps coming from external sources or calculations results.

map editor

New Map

To create a map press the New Map button. In the dialog box that is displayed:

new map dialog

  • write the map name in the Name text box
  • choose the type of its values in the Type selection box: Double (numeric decimal), Int (numeric integer), String (textual), Boolean (true/false), Date (date or date/time)

Map Editing

The editor is actually a simple text box, where the map is written in the form:

key1 value1

key2 value2

...

keyN valueN

where a value can be:

  • a text, if it is a string map
  • a decimal number, if it is a double map
  • an integer number, if it is a int map
  • a boolean value (true, false, True or False) if it is a boolean map
  • an ISO8601 (DD-MM-YYYYThh:mm:ss or DD-MM-YYYY) value if it is a date map

Pressing the To Table button the content of the text box is verified and converted to a tabular form that is displayed in the table on the right.

Pressing the To Text button the content of the map is moved back to the text box, so that the editing can continue.

Pressing the Store Map button the table is stored in the server.

Clone this wiki locally