![]() ![]() Iâd feel more embarrassed about this if I didnât know weâve all done it. Sometimes I complain about a âmissingâ feature and get gently corrected on Twitter. Sometimes, as with Safariâs Page Zoom, I eventually find them on my own. Because I think I know the product very well-after all, Iâve been using it for years-I donât look in those odd corners and miss out on capabilities that would really help me. An application Iâve been using for years releases an update with a few big new features that get a lot of fanfare and several smaller ones tucked away in odd corners. Now I have sites that work right and have text large enough for me to read.Ä«ut it did raise the question: how long has this setting been in Safari without me knowing about it? I remember OmniWeb had this setting back in the day, and I was glad to see it in Safari. The tradeoff would be text thatâs harder to read, exceptâ¦Äªt some point, Safari added the incredibly useful Page Zoom setting to the Advanced preference pane. So today I took the plunge and deleted the troublesome preferences with defaults delete .WebKit2DefaultFontSizeÄefaults delete .WebKit2StandardFontFamilyÄefaults delete .WebKit2FixedFontFamilyÄefaults delete .WebKit2DefaultFixedFontSizeĪnd the bank site adjusted itself to make the buttons clickable. Iâd like to simply avoid these sites, but one of them happens to be the new online portal to my companyâs bank. On these sites-whose designers, come the revolution, will be the first up against the wall-my changes cause buttons to get covered up by other page elements and become unclickable. Generally speaking, these changes to the defaults have worked well, but there are some stupidly designed web sites that become unusable if the default font size is anything other than 16. Surprisingly, those additions to the preference have continued to work through all the updates in the intervening five years.These four lines, defaults write .WebKit2DefaultFontSize 18Äefaults write .WebKit2StandardFontFamily GeorgiaÄefaults write .WebKit2FixedFontFamily 'DejaVu Sans Mono'Äefaults write .WebKit2DefaultFixedFontSize 15Ä«rought me back to where Iâd been. Luckily, the settings in the deleted pane were still accessible via the command line. Trash the preferences file, located at: HD > (your user account) > Library >. ![]() This was one of those infuriating things Apple often does: sacrificing user freedom on the altar of simplicity. Safari 6 took away the Appearance preference pane, which I had been using to increase its default font size from 16 to 18. Today I deleted those customizations because I learned of a preference setting that made them superfluous. Rm -Rf ~/Library/Saved\ Application\ State/ years ago, I started using some defaults write customizations of Safari (which was on Version 6 at the time) that bumped up the default font sizes and made most websites easier for me to read. Rm -Rf ~/Library/Preferences/Apple\ -\ Safari\ -\ Safari\ Extensions\ Gallery Follow the same steps above, but this time look for and delete or rename the file: file. Rm -Rf ~/Library/Cookies/Cookies.binarycookies Find in the library this file Library > Caches > Move it to the trash or rename it with OLD at the end (or something similar) Relaunch Safari. Rm -Rf ~/Library/Caches/Apple\ -\ Safari\ -\ Safari\ Extensions\ Gallery Mv ~/Library/Safari ~/Desktop/Safari- date %Y%m%d%H%M%S To give you a clue, there is a bunch of commands that allegedly change Safari settings, but I do not know which of these, if any, can change home-page and search preferences: Or maybe there is a command that restores Safari search and home-page settings to default. I wonder if I remove Safari with Terminal the issue is gone. I have got Bing redirect, the situation is fairly similar to the one laid down here Bing redirect Mac virus removal from Safari, Firefox, Chrome - MacSecurity.
0 Comments
Leave a Reply. |