Source code for pympress.editable_label

# -*- coding: utf-8 -*-
#
#       page_number.py
#
#       Copyright 2017 Cimbali <me@cimba.li>
#
#       This program is free software; you can redistribute it and/or modify
#       it under the terms of the GNU General Public License as published by
#       the Free Software Foundation; either version 2 of the License, or
#       (at your option) any later version.
#
#       This program 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 General Public License for more details.
#
#       You should have received a copy of the GNU General Public License
#       along with this program; if not, write to the Free Software
#       Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston,
#       MA 02110-1301, USA.

"""
:mod:`pympress.editable_label` -- A label that can be swapped out for an editable entry
---------------------------------------------------------------------------------------
"""

from __future__ import print_function, unicode_literals

import logging
logger = logging.getLogger(__name__)

import gi
gi.require_version('Gtk', '3.0')
from gi.repository import Gtk, Gdk, GLib
import time


[docs]class EditableLabel(object): #: :class:`~Gtk.EventBox` around the label, used to sense clicks event_box = None #: `bool` tracking whether we are currently editing the label. editing = False
[docs] def on_label_event(self, widget, event = None, name = None): """ Manage events on the current slide label/entry. This function triggers replacing the label with an entry when clicked or otherwise toggled. Args: widget (:class:`~Gtk.Widget`): the widget in which the event occured event (:class:`~Gtk.Event` or None): the event that occured, None if tf we called from a menu item name (`str`): name of the key in the casae of a key press Returns: `bool`: whether the event was consumed """ hint = None if issubclass(type(widget), Gtk.CheckMenuItem) and widget.get_active() == self.editing: # Checking the checkbox conforming to current situation: do nothing return False elif issubclass(type(widget), Gtk.MenuItem): # A button or menu item, etc. directly connected to this action hint = widget.get_name() pass elif event.type == Gdk.EventType.BUTTON_PRESS: # If we clicked on the Event Box then don't toggle, just enable. if widget is not self.event_box or self.editing: return False elif event.type == Gdk.EventType.KEY_PRESS: hint = name else: return False # Perform the state toggle if not self.editing: self.swap_label_for_entry(hint) else: self.restore_label() return True
[docs] def validate(self): raise NotImplementedError
[docs] def cancel(self): pass
[docs] def more_actions(self, event, name): raise NotImplementedError
[docs] def on_keypress(self, widget, event, name = None, command = None): """ Manage key presses for the editable label. If we are editing the label, intercept some key presses (to validate or cancel editing or other specific behaviour), otherwise pass the key presses on to the button for normal behaviour. Args: widget (:class:`~Gtk.Widget`): the widget which has received the event. event (:class:`~Gdk.Event`): the GTK event. name (`str`): the name of the key stroke command (`str`): the name of the command in case this function is called by on_navigation Returns: `bool`: whether the event was consumed """ if not self.editing or event.type != Gdk.EventType.KEY_PRESS: return False if command == 'validate': self.validate() self.restore_label() elif command == 'cancel': self.cancel() self.restore_label() else: return self.more_actions(event, name) return True
[docs] def swap_label_for_entry(self): """ Perform the actual work of starting the editing. """ raise NotImplementedError
[docs] def restore_label(self): """ Make sure that the editable label is not in entry mode. If it is an entry, then replace it with the label. """ raise NotImplementedError
[docs] def start_editing(self): """ Start the editing of the label if it is disabled. """ if not self.editing: self.swap_label_for_entry()
[docs] def stop_editing(self): """ Disable the editing of the label if it was enabled. """ if self.editing: self.restore_label()
[docs]class PageNumber(EditableLabel): #: Slide counter :class:`~Gtk.Label` for the current slide. label_cur = None #: Slide counter :class:`~Gtk.Label` for the last slide. label_last = None #: :class:`~Gtk.EventBox` associated with the slide counter label in the Presenter window. eb_cur = None #: :class:`~Gtk.HBox` containing the slide counter label in the Presenter window. hb_cur = None #: :class:`~Gtk.SpinButton` used to switch to another slide by typing its number. spin_cur = None #: :class:`~Gtk.Entry` used to switch to another slide by typing its label. edit_label = None #: :class:`~Gtk.Label` separating `~spin_cur` and `~edit_label` label_sep = None #: `int` holding the maximum page number in the document max_page_number = 1 #: `bool` holding whether we display or ignore page labels page_labels = True #: `bool` whether to scroll with the pages (True) or with the page numbers (False) invert_scroll = True #: callback, to be connected to :func:`~pympress.document.Document.goto` goto_page = lambda p: None #: callback, to be connected to :func:`~pympress.document.Document.lookup_label` find_label = lambda p: None #: callback, to be connected to :func:`~pympress.document.Document.label_after` label_before = lambda p: None #: callback, to be connected to :func:`~pympress.document.Document.label_before` label_after = lambda: None #: callback, to be connected to :func:`~pympress.ui.UI.on_page_change` page_change = lambda b: None #: callback, to be connected to :func:`~pympress.editable_label.EstimatedTalkTime.stop_editing` stop_editing_est_time = lambda: None def __init__(self, builder, page_num_scroll): """ Load all the widgets we need from the spinner. Args: builder (:class:`~pympress.builder.Builder`): A builder from which to load widgets """ super(PageNumber, self).__init__() # The spinner's scroll is with page numbers, invert to scroll with pages self.invert_scroll = not page_num_scroll builder.load_widgets(self) self.goto_page = builder.get_callback_handler('doc.goto') self.find_label = builder.get_callback_handler('doc.lookup_label') self.label_after = builder.get_callback_handler('doc.label_after') self.label_before = builder.get_callback_handler('doc.label_before') self.page_change = builder.get_callback_handler('on_page_change') self.stop_editing_est_time = builder.get_callback_handler('est_time.stop_editing') # Initially (from XML) both the spinner and the current page label are visible. self.hb_cur.remove(self.spin_cur) self.hb_cur.remove(self.edit_label) self.hb_cur.remove(self.label_sep) self.event_box = self.eb_cur
[docs] def set_last(self, num_pages): """ Set the max number of pages, both on display and as the range of values for the spinner. Args: num_pages (`int`): The maximum page number """ self.max_page_number = num_pages self.label_last.set_text(('/{})' if self.page_labels else '/{}').format(num_pages)) self.spin_cur.set_range(1, num_pages) self.spin_cur.set_max_length(len(str(num_pages)) + 1)
[docs] def enable_labels(self, enable): """ Allow to use or ignore labels. Args: enable (`bool`): Whether to enable labels """ self.page_labels = enable self.label_last.set_text(('/{})' if enable else '/{}').format(self.max_page_number))
[docs] def changed_page_label(self, *args): """ Get the page number from the spinner and go to that page """ if not self.page_labels or not self.edit_label.is_focus() or not self.edit_label.get_text(): return page_nb = self.find_label(self.edit_label.get_text(), prefix_unique = True) if not page_nb: return # use the spinner's mechanism self.spin_cur.set_value(page_nb + 1)
[docs] def validate(self): """ Get the page number from the spinner and go to that page """ page_nb = None if self.page_labels and self.edit_label.is_focus(): page_nb = self.find_label(self.edit_label.get_text(), prefix_unique = False) if page_nb is None: page_nb = self.spin_cur.get_value() - 1 if page_nb is not None: self.goto_page(page_nb) else: self.cancel()
[docs] def cancel(self): """ Make the UI re-display the pages from before editing the current page. """ GLib.idle_add(self.page_change, False)
[docs] def more_actions(self, event, name): """ Implement directions (left/right/home/end) keystrokes, otherwise pass on to :func:`~Gtk.SpinButton.do_key_press_event()` """ modified = event.get_state() & Gdk.ModifierType.CONTROL_MASK or event.get_state() & Gdk.ModifierType.SHIFT_MASK if name == 'home': self.spin_cur.set_value(1) elif name == 'end': self.spin_cur.set_value(self.max_page_number) elif modified and name == 'up': cur_page = int(self.spin_cur.get_value()) - 1 self.spin_cur.set_value(1 + self.label_before(cur_page)) elif modified and name == 'down': cur_page = int(self.spin_cur.get_value()) - 1 self.spin_cur.set_value(1 + self.label_after(cur_page)) elif name == 'up': self.spin_cur.set_value(self.spin_cur.get_value() - 1) elif name == 'down': self.spin_cur.set_value(self.spin_cur.get_value() + 1) elif self.page_labels and self.edit_label.is_focus(): return Gtk.Entry.do_key_press_event(self.edit_label, event) else: return Gtk.SpinButton.do_key_press_event(self.spin_cur, event) return True
[docs] def on_scroll(self, widget, event): """ Scroll event. Pass it on to the spin button if we're currently editing the page number. Args: widget (:class:`~Gtk.Widget`): the widget which has received the event. event (:class:`~Gdk.Event`): the GTK event. Returns: `bool`: whether the event was consumed """ if not self.editing: return False else: # flip scroll direction to get scroll down advancing slides if self.invert_scroll and event.direction == Gdk.ScrollDirection.DOWN: event.direction = Gdk.ScrollDirection.UP elif self.invert_scroll and event.direction == Gdk.ScrollDirection.UP: event.direction = Gdk.ScrollDirection.DOWN # Manually get destination slide if we're editing labels if self.edit_label.is_focus(): cur_page = int(self.spin_cur.get_value()) - 1 if event.direction == Gdk.ScrollDirection.DOWN: self.spin_cur.set_value(1 + self.label_before(cur_page)) elif event.direction == Gdk.ScrollDirection.UP: self.spin_cur.set_value(1 + self.label_after(cur_page)) # Otherwise let the spinner do its job else: return Gtk.SpinButton.do_scroll_event(self.spin_cur, event)
[docs] def swap_label_for_entry(self, hint = None): """ Perform the actual work of starting the editing. """ self.stop_editing_est_time() label, sep, cur = self.label_cur.get_text().rpartition('(') # Replace label with entry self.spin_cur.show() self.hb_cur.pack_start(self.spin_cur, True, True, 0) self.hb_cur.reorder_child(self.spin_cur, 1) if self.page_labels: self.hb_cur.pack_start(self.edit_label, True, True, 0) self.hb_cur.reorder_child(self.edit_label, 0) self.edit_label.set_text(label.strip()) self.hb_cur.pack_start(self.label_sep, True, True, 0) self.hb_cur.reorder_child(self.label_sep, 1) self.label_sep.set_text(' (') self.hb_cur.set_homogeneous(False) self.hb_cur.remove(self.label_cur) try: cur_nb = int(cur.strip()) except ValueError: cur_nb = -1 self.spin_cur.set_value(cur_nb) if self.page_labels and (hint == 'jumpto_label' or hint == 'nav_jump'): self.edit_label.grab_focus() self.edit_label.select_region(0, -1) else: self.spin_cur.grab_focus() self.spin_cur.select_region(0, -1) self.editing = True
[docs] def restore_label(self): """ Make sure that the current page number is displayed in a label and not in an entry. If it is an entry, then replace it with the label. """ if self.spin_cur in self.hb_cur: if self.page_labels: self.hb_cur.set_homogeneous(True) self.hb_cur.remove(self.edit_label) self.hb_cur.remove(self.label_sep) self.hb_cur.remove(self.spin_cur) self.hb_cur.pack_start(self.label_cur, True, True, 0) self.hb_cur.reorder_child(self.label_cur, 0) self.editing = False
[docs] def update_jump_label(self, label): """ Update the displayed page label. Args: label (`str`): The current page label """ self.edit_label.set_text(label)
[docs] def update_page_numbers(self, cur_nb, label): """ Update the displayed page numbers. Args: cur_nb (`int`): The current page number, in documentation numbering (range [0..max - 1]) """ cur = str(cur_nb + 1) if self.page_labels: self.label_cur.set_text('{} ({}'.format(label, cur)) else: self.label_cur.set_text(cur) self.restore_label()
[docs]class EstimatedTalkTime(EditableLabel): #: Elapsed time :class:`~Gtk.Label`. label_time = None #: Estimated talk time :class:`~Gtk.Label` for the talk. label_ett = None #: :class:`~Gtk.EventBox` associated with the estimated talk time. eb_ett = None #: Estimated talk time, `int` in seconds. est_time = 0 #: :class:`~Gtk.Entry` used to set the estimated talk time. entry_ett = Gtk.Entry() #: callback, to be connected to :func:`~pympress.editable_label.PageNumber.stop_editing` stop_editing_page_number = lambda: None def __init__(self, builder, ett = 0): """ Setup the talk time. Args: builder (builder.Builder): The builder from which to load widgets. ett (`int`): the estimated time for the talk, in seconds. """ super(EstimatedTalkTime, self).__init__() builder.load_widgets(self) builder.get_object('nav_goto').set_name('nav_goto') builder.get_object('nav_jump').set_name('nav_jump') self.set_time(ett) self.event_box = self.eb_ett
[docs] def delayed_callback_connection(self, builder): """ Connect callbacks later than at init, due to circular dependencies. Call this when the page_number module is initialized, but before needing the callback. Args: builder (builder.Builder): The builder from which to load widgets. """ self.stop_editing_page_number = builder.get_callback_handler('page_number.stop_editing')
[docs] def validate(self): """ Update estimated talk time from the input/ """ text = self.entry_ett.get_text() t = ["0" + n.strip() for n in text.split(':')] try: m = int(t[0]) s = int(t[1]) except ValueError: logger.error(_("Invalid time (mm or mm:ss expected), got \"{}\"").format(text)) return True except IndexError: s = 0 self.set_time(m * 60 + s)
[docs] def set_time(self, time): """ Set the talk time. Args: time (`int`): the estimated time for the talk, in seconds. """ self.est_time = time self.label_ett.set_text("{:02}:{:02}".format(*divmod(self.est_time, 60)))
# TODO a callback for timer?
[docs] def more_actions(self, event, name): """ Pass on keystrokes to :func:`~Gtk.Entry.do_key_press_event()` """ return Gtk.Entry.do_key_press_event(self.entry_ett, event)
[docs] def swap_label_for_entry(self, *args): """ Perform the actual work of starting the editing. """ self.stop_editing_page_number() # Set entry text self.entry_ett.set_text("{:02}:{:02}".format(*divmod(self.est_time, 60))) self.entry_ett.select_region(0, -1) # Replace label with entry self.eb_ett.remove(self.label_ett) self.eb_ett.add(self.entry_ett) self.entry_ett.show() self.entry_ett.grab_focus() self.editing = True
[docs] def restore_label(self): """ Make sure that the current page number is displayed in a label and not in an entry. If it is an entry, then replace it with the label. """ child = self.eb_ett.get_child() if child is not self.label_ett: self.eb_ett.remove(child) self.eb_ett.add(self.label_ett) self.editing = False