summaryrefslogtreecommitdiff
path: root/src/ui/banner.c
AgeCommit message (Collapse)Author
2022-01-19Fontpack lookup via missing glyphsJaakko Keränen
IssueID #435
2022-01-16DocumentWidget: Banner glitchesJaakko Keränen
Banner warnings were duplicated for example when under some conditions. Internal "about:" pages should never show banners or warnings. IssueID #435
2021-12-30DocumentWidget: Update banner while loadingJaakko Keränen
The banner would sometimes appear only after the page had finished loading, because the site icon got lost when the GmDocument was switched.
2021-12-20Banner: MarginsJaakko Keränen
2021-12-18Banner: Increased padding in itemsJaakko Keränen
2021-11-19CleanupJaakko Keränen
2021-11-19CleanupJaakko Keränen
2021-11-19Fixed clicking on tabs when banner is underneathJaakko Keränen
Banner was too eager to eat all mouse events.
2021-10-27DocumentWidget: Security warningsJaakko Keränen
2021-10-26Dismissing document warnings; Banner hoverJaakko Keränen
The warning about terminal emulation can be dismissed on site-specific basis. Banner items show a hover frame (like buttons) to indicate they can be clicked.
2021-10-25Document presentation warningsJaakko Keränen
Warn the user about missing glyphs and potentially unsupported ANSI escapes. TODO: Site-specific setting for dismissed warning; fonts preference about missing glyph warnings.
2021-10-25Banner: Error items; improved appearanceJaakko Keränen
2021-10-24Banner: Clicking on the site nameJaakko Keränen
2021-10-24Added BannerJaakko Keränen
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.