Git usually does a good job of guessing whether a file is a text or binary file, but apparently UTF-16 isn’t recognized as text. What happens is that if you edit UTF-16 files such as Windows .reg files, git diff will only tell you that they have changed, but won’t show actual text differences. You can
Continue reading Git diff with UTF-16 files
This is a little trick I found nowhere on the web so I thought I’d share. Suppose you need to install an extension for Chrome, but for some reason you can’t access internet from Chrome itself… Easy, you just need to get the CRX file that contains the extension bundle, right? The trouble is, you
Continue reading Download Chrome extension from other browser (for offline installation)
As you might know, GWT provides a handy and elegant mechanism to manage back and forward buttons (and bookmarking) through the use of the “anchor” part of the URL, that is the part after the # sign. Basically, whatever you put after the # will not trigger a page reload, but can be intercepted by
Continue reading GWT: using JSON as history token?
Continue reading Is HTML5 Ready Yet?
I’ve been pondering a replacement for my (still reliable but aging) Treo 680. Since I have decided not to get an iPhone as long as the App Store has such insane policies, I’ve narrowed my search down to: Palm Pre An Android device The Pre has a groundbreaking OS called webOS which is almost entirely
Continue reading This might be my next phone