diff options
| author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-10-24 19:17:24 +0300 |
|---|---|---|
| committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-10-24 19:17:24 +0300 |
| commit | 070c69895c5918612c4cb0f7ce82c655877b9442 (patch) | |
| tree | 48ea8a34040cbdae1e0ba0b4620d80e86dcfdabf /src/ui/translation.h | |
| parent | 066bb85e2169daacb52a4b7c71923de9468a1ef3 (diff) | |
Added Banner
Banner will take over everything related to the page top banner.
DocumentWidget's content positioning is a bit messy, and now that the banner is no longer part of the GmDocument, it needed a bit of revising. It would still benefit from proper functions for mapping coordinates to/from the GmDocument coordinate space.
Diffstat (limited to 'src/ui/translation.h')
0 files changed, 0 insertions, 0 deletions