Thread Probleme mit Opera 10.62
(7 answers)
Opened by pq at 2010-09-10 14:57
Ich hatte mein altes ~/.opera gelöscht (bzw. verschoben), da ich die Gelegenheit nutzen wollte, alten Ballast loszuwerden. Habe also Bookmarks, Sessions usw. vorher exportiert und in dem frischen ~/.opera wieder importiert. Deshalb war die Schriftart wieder der default, und von der alten Version war ich es gewohnt, dass Änderungen an der Schriftgrösse und -art sofort wirksam werden. Dass man dafür jetzt Opera neu starten muss, halte ich persönlich für einen Bug, aber nicht ganz so tragisch, da man das i.d.R. ja nicht so oft machen muss.
Always code as if the guy who ends up maintaining your code will be a violent psychopath who knows where you live. -- Damian Conway in "Perl Best Practices"
lesen: Wie frage ich & perlintro brian's Leitfaden für jedes Perl-Problem |