Public Git Hosting - mozilla-central.git/commit

commit	85039a277cd344f179917636c88b4f172c78aea2
author	Jim Mathies <jmathies@mozilla.com>
	Fri, 25 Jun 2010 02:01:07 +0000 (24 21:01 -0500)
committer	Jim Mathies <jmathies@mozilla.com>
	Fri, 25 Jun 2010 02:01:07 +0000 (24 21:01 -0500)
tree	d6c134bf62c4ad8522313114277b2d6c50c9be08	tree \| snapshot (tar.gz zip)
parent	c4fb3994bfe6cd1da87d8ade00f5b92007cb3c7f	commit \| diff

Bug 513162 - Widget additions for setting custom chrome margins. r=vlad.

widget/public/nsIWidget.h		diff \| blob \| blame \| history
widget/src/xpwidgets/nsBaseWidget.cpp		diff \| blob \| blame \| history
widget/src/xpwidgets/nsBaseWidget.h		diff \| blob \| blame \| history

git mirror of mozilla-central