GTK: If the user hovers over stop, it should be disabled once page has finished loading.
This works in both chrome and gtk theme mode, though it uses different code paths (in chrome-theme mode, we override stop_.paint_state(), in gtk-theme mode, we force rendering of the stock icon to insensitive). We can't just set the widget to insensitive because changing the sensitivity of a widget immediately synthesizes a leave notification.
BUG=46981
TEST=behaviour matches windows.
Review URL: http://codereview.chromium.org/3396004
git-svn-id: svn://svn.chromium.org/chrome/trunk/src@59515 0039d316-1c4b-4281-b951-d872f2087c98
1 file changed
