diff options
| author | Graeme Geldenhuys <graemeg@gmail.com> | 2013-03-17 12:20:05 +0000 |
|---|---|---|
| committer | Graeme Geldenhuys <graemeg@gmail.com> | 2013-03-17 12:20:05 +0000 |
| commit | a4e31a2c6404cf45a02ea3a481210af4fddf00fc (patch) | |
| tree | a0755222fc27a78d3444c597faae42ffb12b88c6 /extras/x11_wininfo | |
| parent | 08ef76a72589a985b33fd010058f74879ae4f736 (diff) | |
| download | fpGUI-a4e31a2c6404cf45a02ea3a481210af4fddf00fc.tar.xz | |
ide: restore caret and scroll bar position after a file reload.
For some reason the caret isn't displayed until the arrow keys are pressed,
but it is in the correct location.
Diffstat (limited to 'extras/x11_wininfo')
0 files changed, 0 insertions, 0 deletions