summaryrefslogtreecommitdiff
path: root/src/ui/mediaui.c
AgeCommit message (Collapse)Author
2021-10-18DocumentWidget: Unsupported content downloadsJaakko Keränen
Don't try to show a document while a long download is progressing, especially if we don't have any way to present the document format.
2021-10-17FontPack management via "about:fonts"Jaakko Keränen
2021-10-17Media and FontPacks (work in progress)Jaakko Keränen
Saving this as the last point of progress. This direction is too complicated: Media needs to be a lot more sophisticated to allow dynamic and interactive media at the level of FontPacks. (A bit like Player handles audio playback.) This will be reverted. FontPack management will happen using an another method.
2021-10-11Media refactoring; working on FontPack managementJaakko Keränen
Media still needs more work to get rid of redundancies and make lookups faster. FontPacks are manipulated as Media items (not unlike images) so they can be previewed on page, and installed via a click. FontPack management is not trivial as it includes such details as versioning and whether individual packs are enabled or disabled.
2021-10-06Revised runtime font managementJaakko Keränen
The built-in fonts are loaded via FontPack, and the font table is now constructed dynamically based on available fonts. A full set of variants (style, size) are prepared for each font, but some of the data gets allocated lazily when needed. GmRun needed a larger allocation for fonts, so now all the fields are combined into a single bit field. TODO: Glyph scaling, vertical offsets, and symbol lookup are still not fully working.
2021-07-23Window: Mouse wheel events vs. split modeJaakko Keränen
Only process mouse wheel events on the root over which the mouse is currently.
2021-07-06Text run measurement API change; bug fixesJaakko Keränen
The distinction between measure_Text and advance_Text was not very clear. Now there are only measure_Text functions that return both the bounds and the cursor position advancement, and the appropriate metrics are used by the caller.
2021-06-12CleanupJaakko Keränen
2021-05-27Slightly larger font for audio player timesJaakko Keränen
The seven segment digits are coming from a different font.
2021-04-05Added new language strings for media, feeds listJaakko Keränen
"about:feeds", inline downloads, and media player UI didn't have translations.
2021-02-26DocumentWidget: Inline downloadsJaakko Keränen
2021-02-26GmDocument: Palette tuningJaakko Keränen
The greenish-yellow was a bit off-putting.