diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-07-02 21:41:29 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-07-02 21:41:29 +0200 |
| commit | 9e1e4defefdd2e08eb1a8672c27bef25c58de88b (patch) | |
| tree | 13c977ed1317a87d551cdcc9c4025ebbc060640a /modules | |
| parent | ae65c610e783e8a4c89aa9c08eab884ba64e644c (diff) | |
| parent | 91d357f177687402ecf57c320835c2b69027bce8 (diff) | |
Merge pull request #30228 from YeldhamDev/go_to_menu
Add "Go To" menu to the script editor and move the bookmark and breakpoint menus there
Diffstat (limited to 'modules')
0 files changed, 0 insertions, 0 deletions