diff options
author | Tomasz Chabora <kobewi4e@gmail.com> | 2019-12-01 18:35:07 +0100 |
---|---|---|
committer | Tomasz Chabora <kobewi4e@gmail.com> | 2019-12-01 18:43:52 +0100 |
commit | f4d0e598a7500c667028c408c51cdbfb8acaa212 (patch) | |
tree | bf7e130e1325c44c1eb2c25cdbab70170e463efa /platform | |
parent | ad95424dbace10d0ea1770e22bb1cd85463d18ab (diff) |
Center Script Editor when jumping to bookmarks/breakpoints
Diffstat (limited to 'platform')
0 files changed, 0 insertions, 0 deletions