diff options
| author | Christian Schneppe <christian@pix-art.de> | 2018-04-30 23:51:01 +0200 |
|---|---|---|
| committer | Christian Schneppe <christian@pix-art.de> | 2018-04-30 23:51:01 +0200 |
| commit | bae77ff8fe587e981caa44ba27f5371b7a6664f6 (patch) | |
| tree | e96fda7b564e18bc28bf04a5b4debf4c17e01113 /src/standard/java/de | |
| parent | ce2ba629bd91897f74e2d1dee38f90671b0f28f8 (diff) | |
properly cancel pending searchs and scroll to bottom after refresh
Diffstat (limited to 'src/standard/java/de')
0 files changed, 0 insertions, 0 deletions