Find in this page

Mozilla Firefox is de webbrowser van Mozilla. Volg in geval van problemen eerst onze standaard diagnose.
Ria
Berichten: 478
Lid geworden op: 11 juli 2004, 17:38
    unknown unknown

Bericht door Ria »

Nou, 't is nou zelfs zo gek dat hij "zoekalk" in jouw posting highlight. Hij kan niet meer stoppen.
Gebruikersavatar
nirwana
Beheerder
Berichten: 11528
Lid geworden op: 19 september 2003, 5:09
    unknown unknown
Contacteer:

Bericht door nirwana »

Ria schreef:Hij kan niet meer stoppen.
Dan klik je toch gewoon nog eens op Highlight ? En dan zou die optie weer uit moeten gaan...
Met vriendelijke groet,

Martijn
[ Mede-oprichter + webmaster MozBrowser | beheerder Startpagina's over freeware, GIMP, Mozilla en OpenOffice.org / LibreOffice, Ubuntu
Gebruikersavatar
sc00zy
Berichten: 1811
Lid geworden op: 22 juli 2004, 10:03
Locatie: Assen
    unknown unknown
Contacteer:

Bericht door sc00zy »

Sorry, maar ik schijn toch echt iets missen...

Ik zie alleen iets in mn statusbalk als ik op / manier zoek...
Niks met highlight of iets dergelijks...
Gebruikersavatar
Gert-Paul
Berichten: 2358
Lid geworden op: 4 maart 2004, 17:48
    unknown unknown
Contacteer:

Bericht door Gert-Paul »

sc00zy schreef:Sorry, maar ik schijn toch echt iets missen...

Ik zie alleen iets in mn statusbalk als ik op / manier zoek...
Niks met highlight of iets dergelijks...
Dat highlight is een nieuwe functie in de nightly builds, zie ook deze post op de frontpage van een tijdje terug. Ondertussen zijn de iconen veranderd en staat de balk onderaan.
Ria
Berichten: 478
Lid geworden op: 11 juli 2004, 17:38
    unknown unknown

Bericht door Ria »

Hè, nou heb ik me rot zitten zoeken maar de eerstgeprobeerde pref bleek toch de goede te zijn. Ik had alleen de browser moeten herstarten. Nou ja, dat weet ik dan ook weer: accessibility.typeaheadfind.timeout voor de snellere of langzamere zoekers-op-de-pagina :)
Ria
Berichten: 478
Lid geworden op: 11 juli 2004, 17:38
    unknown unknown

Bericht door Ria »

Die in het topic genoemde extensie "Menu Editor" is echt heel goed want zo kan je veel gebruikte contextmenu-items omhoog schuiven en nooit gebruikte laten verdwijnen.

Hoe je ook menu-items kan laten verdwijnen: http://forums.mozillazine.org/viewtopic.php?t=14776
Plaats reactie