diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-02-12 23:09:34 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-02-12 23:09:34 +0100 |
| commit | d791f5f06ede101ac1990e1f5da05af589c681a2 (patch) | |
| tree | 2078353960de8c2e1f7411fc5c60ab70568f4958 /tools/editor/node_dock.h | |
| parent | c51990ec9d64a1402e15a0490219bfd2e5bda95b (diff) | |
| parent | 1169f4e040327c2353d29dccafa0e176eec56a0b (diff) | |
Merge pull request #7712 from kbake/deselect-selection-on-ctrl-home/end
Selected text is now deselected on ctrl+home/end
Diffstat (limited to 'tools/editor/node_dock.h')
0 files changed, 0 insertions, 0 deletions