Enrico Tröger
e993486594
Make the cookie filter less restricitve
...
Search case-insensitively and include domain names in the search
2009-04-07 22:07:17 +02:00
Enrico Tröger
e90f5a16c8
Apply a previously set filter when refreshing cookie list
2009-04-07 22:04:54 +02:00
Enrico Tröger
3be7113946
Increase padding in the cookie manager and adjust the markup
2009-04-07 22:02:19 +02:00
Enrico Tröger
42a59b4eee
Implement filter entry in the Cookie Manager
2009-03-31 23:41:23 +02:00
Enrico Tröger
fe53c0b703
Print the cookie expiration date in the user's locale.
2009-03-30 23:14:09 +02:00
Enrico Tröger
79c683a804
Minor improvements of the Cookie Manager extension.
...
Don't keep the tooltips in the tree store, instead query them on
demand. This should result in less memory usage and a little
better performance.
Add missing "expires" information to the cookie information label.
Enable Menu/ Shift-F10 keys for the treeview.
Minor cleanup.
2009-03-28 23:37:43 +01:00
Enrico Tröger
f7c5ab216b
Add cookie manager to existing browsers and fill the tree at once
2009-03-26 22:27:06 +01:00
Enrico Tröger
fa1085246f
Add 'Cookie manager' extension
2009-03-24 23:05:47 +01:00
