summaryrefslogtreecommitdiff
path: root/modules/gridmap/config.py
diff options
context:
space:
mode:
authorFabio Alessandrelli <fabio.alessandrelli@gmail.com>2019-10-11 13:47:28 +0200
committerFabio Alessandrelli <fabio.alessandrelli@gmail.com>2019-10-23 10:59:03 +0200
commit53637e4b1c94ec69987d0c45e4472d464df8f022 (patch)
tree8eac8243e155c4a89587437ca672c9a06474349f /modules/gridmap/config.py
parent2ae3631318522f12a8f6fb85834b56874a01efed (diff)
Improve EditorExportPlatform interface.
Convert all get_device* methods to get_option* and normalize their usage as icon, label, tooltip.
Diffstat (limited to 'modules/gridmap/config.py')
0 files changed, 0 insertions, 0 deletions