diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2022-09-19 15:33:11 +0200 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-09-19 15:33:11 +0200 |
commit | 4ebf7d14ac5e9b0c6c86535cb7bb5e428f00542a (patch) | |
tree | 52a053b10f8ad086e62382bde7fa60f80b962ca6 /editor/plugins/text_editor.h | |
parent | 1445b052b44f291844613c8ec5c628e2225e7c2a (diff) | |
parent | 2a8aeddc93db662e765e372646595c2e21b5be3d (diff) |
Merge pull request #66079 from Zylann/project_settings_restart
Expose ProjectSettings.set_restart_if_changed(name, restart)
Diffstat (limited to 'editor/plugins/text_editor.h')
0 files changed, 0 insertions, 0 deletions