...
Then I remembered I did have a problem. It was caused by bug #1210212.
See <https://bugzilla.mozilla.org/show_bug.cgi?id=1210212>. The
solution was to add the following to user.js in my profile:
user_pref("accessibility.typeaheadfind", false);
// needed for AdBlock Plus when creating new filter entries
// bug #1210212
I much prefer setting preference variables in user.js instead of going
to about:config, which sets prefs.js. The two lines with // are
comments to remind me why I set the preference variable. With
about:config, I cannot annotate what I have done.
Ah yes. It matches https://issues.adblockplus.org/ticket/3129 that
https://adblockplus.org/forum/viewtopic.php?f=1&t=42381&p=142713&e=142713 mentioned.
--
"This is the ant. Treat it with respect. For it may very well be the
next dominant lifeform of our planet." --Empire of the Ants movie
Note: A fixed width font (Courier, Monospace, etc.) is required to see
this signature correctly.
/\___/\ Ant(Dude) @ http://antfarm.ma.cx (Personal Web Site)
/ /\ /\ \ Ant's Quality Foraged Links: http://aqfl.net
| |o o| |
\ _ / If crediting, then use Ant nickname and AQFL URL/link.
( ) Chop ANT from its address if e-mailing privately.
Ant is currently not listening to any songs on this computer.
_______________________________________________
support-seamonkey mailing list
[email protected]
https://lists.mozilla.org/listinfo/support-seamonkey
