diff options
author | Juan Linietsky <reduzio@gmail.com> | 2016-06-11 17:01:15 -0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-06-11 17:01:15 -0300 |
commit | b5f2ea542a563fc44870417f1343fd9cb9acc253 (patch) | |
tree | dc4b667dd88f0478cbb5e675e97375bbba2f53bb /tools/editor/editor_fonts.h | |
parent | fc7adf0b4c2d501ca2732d366156ad32e187a912 (diff) | |
parent | 90b3f702bdc3ad6228f302cc8c9f7d5f272460dc (diff) |
Merge pull request #5161 from neikeq/pr-imp-sc-tooltip
BaseButton: Add identifier for shortcut in tooltip
Diffstat (limited to 'tools/editor/editor_fonts.h')
0 files changed, 0 insertions, 0 deletions