summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2020-04-27Reset favicon if not presentPeter Hofmann
2020-04-27Add TODO itemPeter Hofmann
2020-04-27favicon: Initial size should be close to target sizePeter Hofmann
GTK_ICON_SIZE_SMALL_TOOLBAR is 16px, according to the docs.
2020-04-27Always scale faviconsPeter Hofmann
If the size already matches exactly, Gdk will do nothing.
2020-04-27More space around faviconPeter Hofmann
2020-04-27Scale faviconsPeter Hofmann
2020-04-27Display favicons (not resized)Peter Hofmann
2020-04-25Make tab width customizablePeter Hofmann
2020-04-25Make tab position customizablePeter Hofmann
2020-04-24Add hotkeys for switching tabsPeter Hofmann
2020-04-24Use GtkNotebook (basic implementation)Peter Hofmann
2020-04-24Remove support for tabbedPeter Hofmann
2020-04-22Release v20.04Peter Hofmann
2020-04-17lariza.usage.1: Fix erroneous dots and wrappingPeter Hofmann
2020-03-28Release v20.03Peter Hofmann
2020-03-28README: Tweak wordingPeter Hofmann
2020-03-14Makefile: Do not install hints.js as executablePeter Hofmann
2020-03-14CHANGES: Be more precisePeter Hofmann
2020-03-14Move user scriptsPeter Hofmann
This is a more meaningful path.
2020-03-14Update CHANGESPeter Hofmann
2020-03-14lariza.usage: Fix wrong path to web extensionsPeter Hofmann
2020-03-14lariza.usage: Mention hints.jsPeter Hofmann
2020-03-14lariza.usage: Mention that web extensions get installedPeter Hofmann
2020-03-14Makefile: Install compiled web extension and user-scriptPeter Hofmann
2020-03-14lariza.usage: RestructurePeter Hofmann
2020-03-14user-scripts: Bundle hints.jsPeter Hofmann
2020-03-11WebGL is enabled by defaultPeter Hofmann
2020-03-04Enable WebKit's developer extrasPeter Hofmann
2020-03-02LICENSE: Year bumpPeter Hofmann
2020-03-02README: Add user JS, remove paragraph about follow modePeter Hofmann
2020-02-22Introduce user-supplied JavaScript filesPeter Hofmann
2019-05-05Release v19.05Peter Hofmann
2019-05-05LICENSE: Bump yearPeter Hofmann
2019-03-31No longer use WebKit's deprecated JavaScript APIPeter Hofmann
2019-03-17Add BUGS: Mention currently deprecated functionsPeter Hofmann
2018-07-29Release v18.07Peter Hofmann
2018-07-29Send bug reports if feed icon doesn't workPeter Hofmann
2018-07-29Fix typoPeter Hofmann
2018-07-10Get rid of those ugly global variablesPeter Hofmann
2018-07-10Simplify: Merge feed_icon() into grab_feeds_finished()Peter Hofmann
2018-07-10README: Remove the "1000 lines of code" statementPeter Hofmann
We've already exceeded that limit and it's not a good measurement for code quality anyway (not implying that this code is of extraordinarily good quality), so let's just get rid of it.
2018-07-10Update CHANGES and READMEPeter Hofmann
2018-07-10Workaround for graphical padding artifactPeter Hofmann
2018-07-10feed_html_header: Default to UTF-8Peter Hofmann
2018-07-10Indicate RSS/Atom feeds on web sitesPeter Hofmann
2018-06-24Release v18.06Peter Hofmann
2018-06-08PATCHES: Remove GitHub linkPeter Hofmann
2018-06-08README: Add new headerPeter Hofmann
2018-03-17Release v18.03Peter Hofmann
2018-02-21Connect to button release events instead of button pressPeter Hofmann
By default, WebKit only responds to release events. The old code listened for press events. That's probably not the right way to do things. We should properly "override" the release events. Closes #56.