Ticket #4023: 0001-Add-SelectionPalette-widget.patch

src/sugar3/graphics/Makefile.am

@@ -17 +17 @@
         panel.py                \
         radiopalette.py         \
         radiotoolbutton.py      \
+        selectionpalette.py     \
         style.py                \
         toggletoolbutton.py     \
         toolbarbox.py           \

new file src/sugar3/graphics/selectionpalette.py

@@ +1 @@
+# Copyright (C) 2012, One Laptop Per Child
+#
+# This library is free software; you can redistribute it and/or
+# modify it under the terms of the GNU Lesser General Public
+# License as published by the Free Software Foundation; either
+# version 2 of the License, or (at your option) any later version.
+#
+# This library is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+# Lesser General Public License for more details.
+#
+# You should have received a copy of the GNU Lesser General Public
+# License along with this library; if not, write to the
+# Free Software Foundation, Inc., 59 Temple Place - Suite 330,
+# Boston, MA 02111-1307, USA.
+#
+# Author: Carlos Garnacho  <carlos@lanedo.com>
+
+from gi.repository import Gtk
+from gi.repository import Gdk
+from gi.repository import GObject
+from sugar3.graphics.toolbarbox import ToolbarBox, ToolbarButton
+
+class SelectionPalette(Gtk.Window):
+    _PADDING = 10
+
+    __gtype_name__ = "SugarSelectionPalette"
+
+    __gsignals__ = {
+        'cut': (GObject.SignalFlags.RUN_LAST, None, ()),
+        'copy': (GObject.SignalFlags.RUN_LAST, None, ()),
+        'paste': (GObject.SignalFlags.RUN_LAST, None, ()),
+    }
+
+    def _cut_clicked_cb(self, button):
+        self.emit('cut')
+
+        if not self._update_state(False, True, self._clipboard_has_contents(button)):
+            self.hide()
+
+    def _copy_clicked_cb(self, button):
+        self.emit('copy')
+
+    def _paste_clicked_cb(self, button):
+        self.emit('paste')
+
+    def __init__(self, widget=None):
+        Gtk.Window.__init__(self, type=Gtk.WindowType.POPUP)
+        self.set_default_size(-1,-1)
+
+        self._box = Gtk.Toolbar(icon_size = Gtk.IconSize.LARGE_TOOLBAR,
+                                icon_size_set = True, show_arrow = False)
+
+        self._cut = Gtk.ToolButton(icon_name = 'gtk-cut')
+        self._cut.connect('clicked', self._cut_clicked_cb)
+        self._box.add(self._cut)
+
+        self._copy = Gtk.ToolButton(icon_name = 'gtk-copy')
+        self._copy.connect('clicked', self._copy_clicked_cb)
+        self._box.add(self._copy)
+
+        self._paste = Gtk.ToolButton(icon_name = 'gtk-paste')
+        self._paste.connect('clicked', self._paste_clicked_cb)
+        self._box.add(self._paste)
+
+        self._box.show_all()
+        self.add(self._box)
+
+        if widget is not None:
+            self.connect_to_widget(widget)
+
+    def _position_palette(self, widget):
+        if not widget.get_realized():
+            return
+
+        self.realize()
+        allocation = widget.get_allocation()
+        palette_allocation = self.get_allocation()
+
+        toplevel = widget.get_toplevel()
+
+        if not toplevel.is_toplevel():
+            return
+
+        allocation.x, allocation.y = widget.translate_coordinates(toplevel, 0, 0)
+        allocation.x, allocation.y = toplevel.get_window().get_root_coords(allocation.x,
+                                                                           allocation.y)
+
+        if allocation.width <= palette_allocation.width or \
+                allocation.height <= palette_allocation.height + self._PADDING :
+            self.move (allocation.x + (allocation.width / 2) - (palette_allocation.width / 2),
+                       allocation.y + allocation.height + self._PADDING)
+        else:
+            self.move (allocation.x + (allocation.width / 2) - (palette_allocation.width / 2),
+                       allocation.y + allocation.height - palette_allocation.height - self._PADDING)
+
+        self.show()
+
+    def _clipboard_has_contents(self, widget):
+        display = widget.get_display()
+        clipboard = Gtk.Clipboard.get_for_display(display, Gdk.Atom.intern('CLIPBOARD', True))
+
+        return clipboard.wait_is_text_available ()
+
+    def _update_state(self, has_selection, editable, has_clipboard_content):
+        self._cut.set_sensitive(has_selection)
+        self._copy.set_sensitive(has_selection)
+        self._paste.set_sensitive(editable and has_clipboard_content)
+
+        return has_selection or (editable and has_clipboard_content)
+
+    def _widget_key_release_cb(self, widget, event):
+        self.hide()
+        return False
+
+    def _widget_focus_out_cb(self, widget, event):
+        self.hide()
+        return False
+
+    def _entry_button_release_cb(self, widget, event):
+        if event.type != Gdk.EventType.BUTTON_RELEASE and \
+                event.type != Gdk.EventType.TOUCH_END :
+            return False
+
+        if event.get_source_device().get_source() != Gdk.InputSource.TOUCHSCREEN:
+            self.hide()
+            return False
+
+        has_selection = widget.get_selection_bounds()
+
+        if self._update_state(has_selection, True, self._clipboard_has_contents(widget)):
+            self._position_palette(widget)
+        else:
+            self.hide()
+
+        return False
+
+    def _textview_button_release_cb(self, widget, event):
+        if event.type != Gdk.EventType.BUTTON_RELEASE and \
+                event.type != Gdk.EventType.TOUCH_END :
+            return False
+
+        if event.get_source_device().get_source() != Gdk.InputSource.TOUCHSCREEN:
+            self.hide()
+            return False
+
+        has_selection = widget.get_buffer().get_selection_bounds()
+
+        if self._update_state(has_selection, widget.get_editable(), \
+                              self._clipboard_has_contents(widget)):
+            self._position_palette(widget)
+        else:
+            self.hide()
+
+        return False
+
+    def _widget_cut_clipboard(self, selection, widget):
+        widget.emit('cut-clipboard')
+
+    def _widget_copy_clipboard(self, selection, widget):
+        widget.emit('copy-clipboard')
+
+    def _widget_paste_clipboard(self, selection, widget):
+        widget.emit('paste-clipboard')
+
+    def connect_to_widget(self, widget):
+        if isinstance(widget, Gtk.Entry):
+            self._button_release_id = widget.connect('button-release-event', self._entry_button_release_cb)
+            self._touch_event_id = widget.connect('touch-event', self._entry_button_release_cb)
+        elif isinstance(widget, Gtk.TextView):
+            self._button_release_id = widget.connect('button-release-event', self._textview_button_release_cb)
+            self._touch_event_id = widget.connect('touch-event', self._textview_button_release_cb)
+        else:
+            return False
+
+        self._key_release_id = widget.connect('key-release-event', self._widget_key_release_cb)
+        self._focus_out_id = widget.connect('focus-out-event', self._widget_focus_out_cb)
+
+        self.connect('cut', self._widget_cut_clipboard, widget)
+        self.connect('copy', self._widget_copy_clipboard, widget)
+        self.connect('paste', self._widget_paste_clipboard, widget)
+
+        return True
+
+    def disconnect_from_widget(self, widget):
+        widget.signal_handler_disconnect(self._button_release_id)
+        widget.signal_handler_disconnect(self._touch_event_id)
+        widget.signal_handler_disconnect(self._key_release_id)
+        widget.signal_handler_disconnect(self._focus_out_id)