Remove Formatting btn insensitive w/ no selection: Closes bug #714256

This commit is contained in:
ritchiew 2013-12-05 12:48:58 -08:00 committed by Jim Nelson
parent 218f387aab
commit bed698cc08
2 changed files with 3 additions and 0 deletions

1
THANKS
View file

@ -26,6 +26,7 @@ Tom Most <twm@freecog.net>
Andreas Obergrusberger <tradiaz@yahoo.de> Andreas Obergrusberger <tradiaz@yahoo.de>
Martin Olsson <martin@minimum.se> Martin Olsson <martin@minimum.se>
Robert Park <rbpark@exolucere.ca> Robert Park <rbpark@exolucere.ca>
ritchiew <rawilson52@gmail.com>
Mario Sanchez Prada <msanchez@igalia.com> Mario Sanchez Prada <msanchez@igalia.com>
Tiago Quelhas <tiagoq@gmail.com> Tiago Quelhas <tiagoq@gmail.com>
Didier Roche <didrocks@ubuntu.com> Didier Roche <didrocks@ubuntu.com>

View file

@ -1576,6 +1576,8 @@ public class ComposerWindow : Gtk.Window {
// Style toggle buttons. // Style toggle buttons.
WebKit.DOM.DOMWindow window = editor.get_dom_document().get_default_view(); WebKit.DOM.DOMWindow window = editor.get_dom_document().get_default_view();
actions.get_action(ACTION_REMOVE_FORMAT).sensitive = !window.get_selection().is_collapsed;
WebKit.DOM.Element? active = window.get_selection().focus_node as WebKit.DOM.Element; WebKit.DOM.Element? active = window.get_selection().focus_node as WebKit.DOM.Element;
if (active == null && window.get_selection().focus_node != null) if (active == null && window.get_selection().focus_node != null)
active = window.get_selection().focus_node.get_parent_element(); active = window.get_selection().focus_node.get_parent_element();