suche per regexp

[Christoph Zurnieden]

Hi,

Mozilla/Firefox [...] kannst Du mit Javascript manipulieren. Ich müßte nachschauen, [...Suche sogar direkt manipulierbar].

wo?

Das sind runde 192 MiB mit über 1.430.186 LOC.
Da soll ich Dir _auf_ _Anhieb_ die Stelle benennen können?
Bissu beklopft? ;-)

Ich weiß nur, das das gesamte Frontend mit XUL gebaut wurde und XUL kann als XML per Javascript gesteuert werden. Es ist also nicht völlig falsch anzunehmen, das sich die Suche problemlos erweitern läßt.
So man die passende Stelle denn findet ;-)

Nein, da ist das uralte Tastaturkürzel '/' für eine Suche im Text

ich habe doch nichts gegenteiliges gesagt.

Nein, hast Du auch nicht, das war ein schlechter Witz auf Deine Kosten, mehr nicht. Ich war ein wenig stinkig, das ich es aus eigener Blödheit nicht zum Selftreffen geschafft habe.
Ja, sowas ist ungehörig und ich entschuldige mich dafür.

aber das ist mir zu unbequem, deswegen suche ich was besseres. ;-)

Dann such Dir doch Seiten, die sowas eingebaut haben ;-)

duffdae! duffdae! duffdae! ;-)

Ja, hömma, bei _der_ Vorlage? ,-)

so short

Christoph Zurnieden