diff options
| author | Ilmari Lauhakangas <ilmari.lauhakangas@libreoffice.org> | 2019-01-23 14:43:45 +0200 |
|---|---|---|
| committer | Adolfo Jayme Barrientos <fitojb@ubuntu.com> | 2019-03-01 01:44:45 +0100 |
| commit | aa7a881b0cddfab63d3fdfe3904f8a70200b8ad7 (patch) | |
| tree | 13d021556b487066d3d66dfb459ea0e6d6b24da2 /source/text | |
| parent | e5e19bf05d9f59e61c19b1d40aacedc643f6d6f1 (diff) | |
Moved the pagination controls to the top
As the height of the result list keeps changing constantly,
it was highly annoying to click the arrows in the controls.
Change-Id: I82308adc3971f25ed629009bf1e0854d38197560
Reviewed-on: https://gerrit.libreoffice.org/66795
Tested-by: Jenkins
Reviewed-by: Olivier Hallot <olivier.hallot@libreoffice.org>
(cherry picked from commit b3686d53d10873b1260091a4c6a898575516217e)
Reviewed-on: https://gerrit.libreoffice.org/68522
Reviewed-by: Adolfo Jayme Barrientos <fitojb@ubuntu.com>
Diffstat (limited to 'source/text')
0 files changed, 0 insertions, 0 deletions