diff options
| author | John Church <[email protected]> | 2016-07-21 13:41:37 +0100 |
|---|---|---|
| committer | monsta <[email protected]> | 2016-08-12 22:14:04 +0300 |
| commit | fdcc8abd1b21e9c3cdbd7ce4433482ea4b7d44e6 (patch) | |
| tree | 9b8bc4db75ce48491f3a6b61627a392ab2d7bb07 /plugins/externaltools | |
| parent | 0a50b2121cf6227ecd1fc6a821932de4694f5978 (diff) | |
| download | pluma-fdcc8abd1b21e9c3cdbd7ce4433482ea4b7d44e6.tar.bz2 pluma-fdcc8abd1b21e9c3cdbd7ce4433482ea4b7d44e6.tar.xz | |
tab: restore the cursor and scroll in an idle.
Fix bug where the document doesn't always scroll to the restored cursor position.
The reason for this is that after the doc is loaded the text view is still working relocating
so we wait until the text view gives us some priority to actually scroll.
Diffstat (limited to 'plugins/externaltools')
0 files changed, 0 insertions, 0 deletions