Merge branch 'page-percent' into 'develop'

Add option to display page number percent in statusbar

See merge request !48
8 jobs for develop in 1 minute and 38 seconds (queued for 26 seconds)
Name Stage Failure
failed
build:ubuntu-eoan Build
Successfully extracted cache
Authenticating with credentials from job payload (GitLab Registry)
$ meson subprojects update
Updating girara...
-> Could not fetch revision develop in subprojects/girara
fatal: unable to access 'https://git.pwmt.org/pwmt/girara.git/': server certificate verification failed. CAfile: none CRLfile: none
Git command failed: ['/usr/bin/git', 'fetch', '--refmap', '+refs/heads/*:refs/remotes/origin/*', '--refmap', '+refs/tags/*:refs/tags/*', 'origin', 'develop']
WARNING: Please check logs above as command failed in some subprojects which could have been left in conflict state: girara
ERROR: Job failed: exit code 1
failed
build:ubuntu-bionic Build
Successfully extracted cache
Authenticating with credentials from job payload (GitLab Registry)
$ meson subprojects update
Updating girara...
-> Could not fetch revision develop in subprojects/girara
fatal: unable to access 'https://git.pwmt.org/pwmt/girara.git/': server certificate verification failed. CAfile: /etc/ssl/certs/ca-certificates.crt CRLfile: none
Git command failed: ['/usr/bin/git', 'fetch', '--refmap', '+refs/heads/*:refs/remotes/origin/*', '--refmap', '+refs/tags/*:refs/tags/*', 'origin', 'develop']
WARNING: Please check logs above as command failed in some subprojects which could have been left in conflict state: girara
ERROR: Job failed: exit code 1