diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-04-21 13:01:43 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-04-21 13:01:43 +0200 |
commit | 71bbe6eb01d1664340ea624aca36aa47c693981d (patch) | |
tree | 7fab2ac8f65a8d3190d4255d1ba22cbb52a8697f /editor/icons/icon_margin_container.svg | |
parent | 7879968136828a6b98daab9ee4e8897eb8c26048 (diff) | |
parent | 6ea253aa776e03dc7174b289c6747cd8d0410245 (diff) |
Merge pull request #27979 from Paulb23/remember_script_state
Restore script editor state between sessions
Diffstat (limited to 'editor/icons/icon_margin_container.svg')
0 files changed, 0 insertions, 0 deletions