diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-08-12 10:00:47 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-08-12 10:00:47 +0200 |
commit | 6c8434a98d22e9d50008a1d143a935a1e996d7f4 (patch) | |
tree | bfcb76b72c4a98f4f4860ba32265391db561cf19 /platform/javascript/run_icon.png | |
parent | 72670788bbb93f4a8e0e2bd92499b23d06c122d8 (diff) | |
parent | 68ce87fbab511ada7fd17baa41972bcc9d73d036 (diff) |
Merge pull request #31251 from YeldhamDev/text_editor_goto_full
Move "Go to Line..." from "Edit" to "Go To" in text editor
Diffstat (limited to 'platform/javascript/run_icon.png')
0 files changed, 0 insertions, 0 deletions