lagrange.git -

Age	Commit message (Collapse)	Author
2022-01-16	DocumentWidget: Banner glitches	Jaakko Keränen
	Banner warnings were duplicated for example when under some conditions. Internal "about:" pages should never show banners or warnings. IssueID #435
2021-12-30	DocumentWidget: Update banner while loading	Jaakko Kerä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-20	Banner: Margins	Jaakko Keränen

2021-12-18	Banner: Increased padding in items	Jaakko Keränen

2021-11-19	Cleanup	Jaakko Keränen

2021-11-19	Cleanup	Jaakko Keränen

2021-11-19	Fixed clicking on tabs when banner is underneath	Jaakko Keränen
	Banner was too eager to eat all mouse events.
2021-10-27	DocumentWidget: Security warnings	Jaakko Keränen

2021-10-26	Dismissing document warnings; Banner hover	Jaakko Kerä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-25	Document presentation warnings	Jaakko Kerä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-25	Banner: Error items; improved appearance	Jaakko Keränen

2021-10-24	Banner: Clicking on the site name	Jaakko Keränen

2021-10-24	Added Banner	Jaakko Kerä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.