diff options
author | RichardHitt <rbh00@netcom.com> | 2015-05-18 06:31:00 -0400 |
---|---|---|
committer | TingPing <tingping@tingping.se> | 2015-05-18 06:31:00 -0400 |
commit | f7bea16e37342d752568723d92ce3eca9e4a972a (patch) | |
tree | b03c7e8d0b96a27f5dcd842205911bb7e8934950 /src/fe-gtk/maingui.h | |
parent | ff9c0dbd5ec9f45cd435a099c17756e0c4759b98 (diff) |
xtext: Fix poor performance with nick indent enabled
This fixes xtext re-rendering multiple times when the indent width is not sufficient Fixes #1364 Closes #1367
Diffstat (limited to 'src/fe-gtk/maingui.h')
0 files changed, 0 insertions, 0 deletions