diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2017-08-07 14:53:29 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-08-07 14:53:29 +0200 |
commit | 309c0cb01b51c106aff2a322f4bfe0ae6eb3317a (patch) | |
tree | 8792bb779b08c0f7ba6537f745d1fe8330cfe00c /core/path_remap.h | |
parent | 9244ea6d5495cced4005388566915d35eb3a1412 (diff) | |
parent | 63ddad98f5594f445a8998730c19890707e7cea9 (diff) |
Merge pull request #10113 from kubecz3k/tab-signal
'tab_changed' signal after using 'set_current_tab'
Diffstat (limited to 'core/path_remap.h')
0 files changed, 0 insertions, 0 deletions