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 /plugins/exec | |
| 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 'plugins/exec')
0 files changed, 0 insertions, 0 deletions