diff options
author | FireForge <67974470+fire-forge@users.noreply.github.com> | 2022-04-14 16:20:28 -0500 |
---|---|---|
committer | FireForge <67974470+fire-forge@users.noreply.github.com> | 2022-04-23 11:16:18 -0500 |
commit | 3073b85de93bd38d9e15064a105afb2eb381fd7d (patch) | |
tree | 2b10e53e6d30c53b55a9726e8c1581d0f725112c /platform/android | |
parent | 7d6f87899ed3a1dc250101a3560a0898f15d8a56 (diff) |
Rename theme properties to include underscores
- check_vadjust -> check_v_adjust
- close_h_ofs -> close_h_offset
- close_v_ofs -> close_v_offset
- commentfocus -> comment_focus
- hseparation -> h_separation
- ofs -> offset
- selectedframe -> selected_frame
- state_machine_selectedframe -> state_machine_selected_frame
- table_hseparation -> table_h_separation
- table_vseparation -> table_v_separation
- vseparation -> v_separation
Diffstat (limited to 'platform/android')
0 files changed, 0 insertions, 0 deletions