diff options
| author | codedust <codedust@users.noreply.github.com> | 2020-03-05 16:38:01 +0100 |
|---|---|---|
| committer | fiaxh <git@lightrise.org> | 2020-03-05 16:38:01 +0100 |
| commit | f099def5b659527475b22021f730bd085c83e60c (patch) | |
| tree | dcc053ba7e3c4304f463bf0eceaeeae788c0fc1a /plugins/gpgme-vala/vapi/gpgme_public.vapi | |
| parent | 013b388896315c7ac10e6cd7d36f913559998f83 (diff) | |
| download | dino-f099def5b659527475b22021f730bd085c83e60c.tar.gz dino-f099def5b659527475b22021f730bd085c83e60c.zip | |
Fix menu button alignment (#765)
The left hamburger menu button now is of the same height as all the other buttons.
Diffstat (limited to 'plugins/gpgme-vala/vapi/gpgme_public.vapi')
0 files changed, 0 insertions, 0 deletions