diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2017-08-11 10:39:04 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-08-11 10:39:04 +0200 |
commit | f67a8d715c7bfd98b0b1422678c8fd5e593a145c (patch) | |
tree | e87f1afd1fa2c4273dba690e7bdba458391cc202 /editor/editor_themes.h | |
parent | 5c6e41cc134799afd6d34abc5cd1e57748465dd9 (diff) | |
parent | 7e82ff1d70ba5fdd7cbfbfb7dad5c706f386cafb (diff) |
Merge pull request #10193 from kubecz3k/tab-click-signal
tab_clicked signal for Tabs
Diffstat (limited to 'editor/editor_themes.h')
0 files changed, 0 insertions, 0 deletions