annoying problem with firefox 21 on mac

firefox used to minimize itself when you double click on the title bar, but with firefox 21 release, it does not behave any more. it seems that firefox app did not implement double mouse click handler.

switching to chrome unless firefox bring back this.

sql fundation

two bases for sql: set theory and predicative logic