417e443ed3
create and document build.nix
2022-04-27 10:14:10 +01:00
084c6440cd
update TODO
2022-04-27 10:14:10 +01:00
b7956d70bb
hook up the "new tab" button
2022-04-27 10:14:10 +01:00
ad69c88486
update TODO
2022-04-27 10:14:10 +01:00
a16d1a46e3
handle ESC in text entry to revert changes to current url
2022-04-27 10:14:10 +01:00
263704ba37
todo
2022-04-27 10:14:09 +01:00
cba16113a1
multiple tab support
2022-04-27 10:14:07 +01:00
143a96f761
more to do
2022-04-27 10:14:07 +01:00
28ca39c0fa
provide thumbnails of open tabs on the chooser page
2022-04-27 10:14:06 +01:00
fa9c818b73
still WIP tab overview page
2022-04-27 10:14:06 +01:00
68af0b779f
save cookies between sessions
2022-04-27 10:14:06 +01:00
93f2acf3ab
add a progress indicator
2022-04-27 10:14:06 +01:00
fb6423dab4
add a stop/refresh button
2022-04-27 10:14:05 +01:00
876e70e642
more things to do
2022-04-27 10:14:05 +01:00
cb477a9146
first pass at adblocking using easylist
...
https://gabmus.org/posts/block_ads_in_webkitgtk/ was a
great help.
This is not final code and I don't yet understand how to turn
easylist txt files into json, but it appears to work insofar as
it make the Guardian web site lurch a bit less
2022-04-27 10:14:05 +01:00
9ef0818465
fetch urls typed into urlbar
2022-04-27 10:14:05 +01:00
71289309b8
README is mostly a todo list
2022-04-27 10:14:05 +01:00
