diff options
author | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2019-10-11 13:47:28 +0200 |
---|---|---|
committer | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2019-10-23 10:59:03 +0200 |
commit | 53637e4b1c94ec69987d0c45e4472d464df8f022 (patch) | |
tree | 8eac8243e155c4a89587437ca672c9a06474349f /modules/gridmap/config.py | |
parent | 2ae3631318522f12a8f6fb85834b56874a01efed (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