Redraw extensions treeview when activating/ deactivating

panels/midori-extensions.c

@@ -306,6 +306,8 @@ midori_extensions_treeview_row_activated_cb (GtkTreeView*       treeview,
             !midori_extension_is_active (extension));
         gtk_widget_set_sensitive (GTK_WIDGET (button_disable),
             midori_extension_is_active (extension));
+        /* FIXME: Update only the appropriate row */
+        gtk_widget_queue_draw (GTK_WIDGET (treeview));
     }
 }