diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-06-25 10:48:27 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-06-25 10:48:27 +0200 |
| commit | 1b9f31dc158d3c7be60484e5270e059608219a4b (patch) | |
| tree | 399462ad4af8c71e83b2a33ae7b3629a591c1ca8 /editor/doc_title_font.h | |
| parent | 41bbf106e69732f2a26c6e02184faf28ea61fda4 (diff) | |
| parent | 41029eb1f001d4ffa5bf491c1841f2e505172d5e (diff) | |
Merge pull request #9350 from sowfelicity/x11-ime
Workaround for IME on Linux.
Diffstat (limited to 'editor/doc_title_font.h')
0 files changed, 0 insertions, 0 deletions