lagrange.git -

Age	Commit message (Collapse)	Author
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.