# Copyright 2009 One Laptop Per Child # Author: Sayamindu Dasgupta # # 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 St, Fifth Floor, Boston, MA 02110-1301 USA import gtk, gtk.gdk import gobject import widgets import os.path import math import shutil from epub import _Epub from jobs import _JobPaginator as _Paginator LOADING_HTML = '''

Loading...

''' class _View(gtk.HBox): __gproperties__ = { 'scale' : (gobject.TYPE_FLOAT, 'the zoom level', 'the zoom level of the widget', 0.5, 4.0, 1.0, gobject.PARAM_READWRITE) } __gsignals__ = { 'page-changed': (gobject.SIGNAL_RUN_FIRST, gobject.TYPE_NONE, ([])), 'selection-changed': (gobject.SIGNAL_RUN_FIRST, gobject.TYPE_NONE, ([])), } def __init__(self): gobject.threads_init() gtk.HBox.__init__(self) self.connect("destroy", self._destroy_cb) self._ready = False self._paginator = None self._loaded_page = -1 #self._old_scrollval = -1 self._loaded_filename = None self._pagecount = -1 self.__going_fwd = True self.__going_back = False self.__page_changed = False self._has_selection = False self.scale = 1.0 self._epub = None self._findjob = None self.__in_search = False self.__search_fwd = True self._sw = gtk.ScrolledWindow() self._view = widgets._WebView() self._view.load_string(LOADING_HTML, 'text/html', 'utf-8', '/') settings = self._view.get_settings() settings.props.default_font_family = 'DejaVu LGC Serif' settings.props.enable_plugins = False settings.props.default_encoding = 'utf-8' self._view.connect('load-finished', self._view_load_finished_cb) self._view.connect('scroll-event', self._view_scroll_event_cb) self._view.connect('key-press-event', self._view_keypress_event_cb) self._view.connect('button-release-event', self._view_buttonrelease_event_cb) self._view.connect('selection-changed', self._view_selection_changed_cb) self._view.connect_after('populate-popup', self._view_populate_popup_cb) self._sw.add(self._view) self._sw.set_policy(gtk.POLICY_AUTOMATIC, gtk.POLICY_NEVER) self._v_vscrollbar = self._sw.get_vscrollbar() self._v_scrollbar_value_changed_cb_id = self._v_vscrollbar.connect('value-changed', \ self._v_scrollbar_value_changed_cb) self._scrollbar = gtk.VScrollbar() self._scrollbar.set_update_policy(gtk.UPDATE_DISCONTINUOUS) self._scrollbar_change_value_cb_id = self._scrollbar.connect('change-value', \ self._scrollbar_change_value_cb) self.pack_start(self._sw, expand = True, fill = True) self.pack_start(self._scrollbar, expand = False, fill = False) self._view.set_flags(gtk.CAN_DEFAULT|gtk.CAN_FOCUS) def set_document(self, epubdocumentinstance): ''' Sets document (should be a Epub instance) ''' self._epub = epubdocumentinstance gobject.idle_add(self._paginate) def do_get_property(self, property): if property.name == 'has-selection': return self._has_selection elif property.name == 'zoom': return self.scale else: raise AttributeError, 'unknown property %s' % property.name def do_set_property(self, property, value): if property.name == 'zoom': self.__set_zoom(value) else: raise AttributeError, 'unknown property %s' % property.name def get_has_selection(self): ''' Returns True if any part of the content is selected ''' return self._has_selection def get_zoom(self): ''' Returns the current zoom level ''' return self.get_property('zoom') def set_zoom(self, value): ''' Sets the current zoom level ''' self.set_property('zoom', value) def zoom_in(self): ''' Zooms in (increases zoom level by 0.1) ''' if self.can_zoom_in(): self.set_zoom(self.get_zoom() + 0.1) return True else: return False def zoom_out(self): ''' Zooms out (decreases zoom level by 0.1) ''' if self.can_zoom_out(): self.set_zoom(self.get_zoom() - 0.1) return True else: return False def can_zoom_in(self): ''' Returns True if it is possible to zoom in further ''' if self.scale < 4: return True else: return False def can_zoom_out(self): ''' Returns True if it is possible to zoom out further ''' if self.scale > 0.5: return True else: return False def get_current_page(self): ''' Returns the currently loaded page ''' return self._loaded_page def get_current_file(self): ''' Returns the currently loaded XML file ''' #return self._loaded_filename if self._paginator: return self._paginator.get_file_for_pageno(self._loaded_page) else: return None def get_pagecount(self): ''' Returns the pagecount of the loaded file ''' return self._pagecount def set_current_page(self, n): ''' Loads page number n ''' if n < 1 or n > self._pagecount: return False self._load_page(n) return True def next_page(self): ''' Loads next page if possible Returns True if transition to next page is possible and done ''' if self._loaded_page == self._pagecount: return False self._load_next_page() return True def previous_page(self): ''' Loads previous page if possible Returns True if transition to previous page is possible and done ''' if self._loaded_page == 1: return False self._load_prev_page() return True def scroll(self, scrolltype, horizontal): ''' Scrolls through the pages. Scrolling is horizontal if horizontal is set to True Valid scrolltypes are: gtk.SCROLL_PAGE_BACKWARD and gtk.SCROLL_PAGE_FORWARD ''' if scrolltype == gtk.SCROLL_PAGE_BACKWARD: self.__going_back = True self.__going_fwd = False if not self._do_page_transition(): self._view.move_cursor(gtk.MOVEMENT_PAGES, -1) elif scrolltype == gtk.SCROLL_PAGE_FORWARD: self.__going_back = False self.__going_fwd = True if not self._do_page_transition(): self._view.move_cursor(gtk.MOVEMENT_PAGES, 1) else: print ('Got unsupported scrolltype %s' % str(scrolltype)) def copy(self): ''' Copies the current selection to clipboard. ''' self._view.copy_clipboard() def find_next(self): ''' Highlights the next matching item for current search ''' self._view.grab_focus() self._view.grab_default() if self._view.search_text(self._findjob.get_search_text(), \ self._findjob.get_case_sensitive(), True, False): return else: path = os.path.join(self._epub.get_basedir(), self._findjob.get_next_file()) self.__in_search = True self.__search_fwd = True self._load_file(path) def find_previous(self): ''' Highlights the previous matching item for current search ''' self._view.grab_focus() self._view.grab_default() if self._view.search_text(self._findjob.get_search_text(), \ self._findjob.get_case_sensitive(), False, False): return else: path = os.path.join(self._epub.get_basedir(), self._findjob.get_prev_file()) self.__in_search = True self.__search_fwd = False self._load_file(path) def _find_changed(self, job): self._view.grab_focus() self._view.grab_default() self._findjob = job #self._view.search_text(self._findjob.get_search_text(), \ # self._findjob.get_case_sensitive(), True, False) self.find_next() def __set_zoom(self, value): self._view.set_zoom_level(value) self.scale = value def __set_has_selection(self, value): if value != self._has_selection: self._has_selection = value def _view_populate_popup_cb(self, view, menu): menu.destroy() #HACK return def _view_selection_changed_cb(self, view): # FIXME: This does not seem to be implemented in # webkitgtk yet print view.has_selection() self.emit('selection-changed') def _view_buttonrelease_event_cb(self, view, event): # Ugly hack self.__set_has_selection(view.can_copy_clipboard() \ | view.can_cut_clipboard()) def _view_keypress_event_cb(self, view, event): name = gtk.gdk.keyval_name(event.keyval) if name == 'Page_Down' or name == 'Down': self.__going_back = False self.__going_fwd = True elif name == 'Page_Up' or name == 'Up': self.__going_back = True self.__going_fwd = False self._do_page_transition() def _view_scroll_event_cb(self, view, event): if event.direction == gtk.gdk.SCROLL_DOWN: self.__going_back = False self.__going_fwd = True elif event.direction == gtk.gdk.SCROLL_UP: self.__going_back = True self.__going_fwd = False self._do_page_transition() def _do_page_transition(self): if self.__going_fwd: if self._v_vscrollbar.get_value() >= \ self._v_vscrollbar.props.adjustment.props.upper - \ self._v_vscrollbar.props.adjustment.props.page_size: self._load_next_file() return True elif self.__going_back: if self._v_vscrollbar.get_value() == self._v_vscrollbar.props.adjustment.props.lower: self._load_prev_file() return True return False def _view_load_finished_cb(self, v, frame): # Normally the line below would not be required - ugly workaround for # possible Webkit bug. See : https://bugs.launchpad.net/bugs/483231 self._sw.set_policy(gtk.POLICY_AUTOMATIC, gtk.POLICY_NEVER) filename = self._view.props.uri.replace('file://', '') if os.path.exists(filename.replace('xhtml', 'xml')): filename = filename.replace('xhtml', 'xml') # Hack for making javascript work filename = filename.split('#')[0] # Get rid of anchors if self._loaded_page < 1 or filename == None: return False self._loaded_filename = filename remfactor = self._paginator.get_remfactor_for_file(filename) pages = self._paginator.get_pagecount_for_file(filename) extra = int(math.ceil(remfactor * self._view.get_page_height()/(pages-remfactor))) if extra > 0: self._view.add_bottom_padding(extra) if self.__in_search: self._view.search_text(self._findjob.get_search_text(), \ self._findjob.get_case_sensitive(), \ self.__search_fwd, False) self.__in_search = False else: if self.__going_back: # We need to scroll to the last page self._scroll_page_end() else: self._scroll_page() base_pageno = self._paginator.get_base_pageno_for_file(filename) scrollval = self._v_vscrollbar.get_value() scroll_upper = self._v_vscrollbar.props.adjustment.props.upper if scroll_upper == 0: # This is a one page file pageno = base_pageno else: offset = (scrollval/scroll_upper) * self._paginator.get_pagecount_for_file(filename) pageno = math.floor(base_pageno + offset) if pageno != self._loaded_page: self._on_page_changed(int(pageno)) def _scroll_page_end(self): v_upper = self._v_vscrollbar.props.adjustment.props.upper v_page_size = self._v_vscrollbar.props.adjustment.props.page_size self._v_vscrollbar.set_value(v_upper) def _scroll_page(self): pageno = self._loaded_page v_upper = self._v_vscrollbar.props.adjustment.props.upper v_page_size = self._v_vscrollbar.props.adjustment.props.page_size scrollfactor = self._paginator.get_scrollfactor_pos_for_pageno(pageno) self._v_vscrollbar.set_value((v_upper - v_page_size) * scrollfactor) def _paginate(self): filelist = [] for i in self._epub._navmap.get_flattoc(): filelist.append(os.path.join(self._epub._tempdir, i)) self._paginator = _Paginator(filelist) self._paginator.connect('paginated', self._paginated_cb) def _load_next_page(self): self._load_page(self._loaded_page + 1) def _load_prev_page(self): self._load_page(self._loaded_page - 1) def _v_scrollbar_value_changed_cb(self, scrollbar): if self._loaded_page < 1: return scrollval = scrollbar.get_value() scroll_upper = self._v_vscrollbar.props.adjustment.props.upper scroll_page_size = self._v_vscrollbar.props.adjustment.props.page_size if self.__going_fwd == True and not self._loaded_page == self._pagecount: if self._paginator.get_file_for_pageno(self._loaded_page) != \ self._paginator.get_file_for_pageno(self._loaded_page + 1): return # We don't need this if the next page is in another file scrollfactor_next = self._paginator.get_scrollfactor_pos_for_pageno(self._loaded_page + 1) if scrollval > 0: scrollfactor = scrollval/(scroll_upper - scroll_page_size) else: scrollfactor = 0 if scrollfactor >= scrollfactor_next: self._on_page_changed(self._loaded_page + 1) elif self.__going_back == True and self._loaded_page > 1: if self._paginator.get_file_for_pageno(self._loaded_page) != \ self._paginator.get_file_for_pageno(self._loaded_page - 1): return scrollfactor_cur = self._paginator.get_scrollfactor_pos_for_pageno(self._loaded_page) if scrollval > 0: scrollfactor = scrollval/(scroll_upper - scroll_page_size) else: scrollfactor = 0 if scrollfactor <= scrollfactor_cur: self._on_page_changed(self._loaded_page - 1) def _on_page_changed(self, pageno): self.__page_changed = True self._loaded_page = pageno self._scrollbar.handler_block(self._scrollbar_change_value_cb_id) self._scrollbar.set_value(pageno) self._scrollbar.handler_unblock(self._scrollbar_change_value_cb_id) self.emit('page-changed') def _load_page(self, pageno): if pageno > self._pagecount or pageno < 1: #TODO: Cause an exception return self._on_page_changed(pageno) filename = self._paginator.get_file_for_pageno(pageno) if filename != self._loaded_filename: #self._loaded_filename = filename if filename.endswith('xml'): dest = filename.replace('xml', 'xhtml') shutil.copy(filename.replace('file://', ''), dest.replace('file://', '')) self._view.open(dest) else: self._view.open(filename) else: self._scroll_page() def _load_next_file(self): if self._loaded_page == self._pagecount: return cur_file = self._paginator.get_file_for_pageno(self._loaded_page) pageno = self._loaded_page while pageno < self._paginator.get_total_pagecount(): pageno += 1 if self._paginator.get_file_for_pageno(pageno) != cur_file: break self._load_page(pageno) def _load_file(self, path): #TODO: This is a bit suboptimal - fix it for pageno in range(1, self.get_pagecount()): filepath = self._paginator.get_file_for_pageno(pageno) if filepath.endswith(path): self._load_page(pageno) break def _load_prev_file(self): if self._loaded_page == 1: return cur_file = self._paginator.get_file_for_pageno(self._loaded_page) pageno = self._loaded_page while pageno > 1: pageno -= 1 if self._paginator.get_file_for_pageno(pageno) != cur_file: break self._load_page(pageno) def _scrollbar_change_value_cb(self, range, scrolltype, value): if scrolltype == gtk.SCROLL_STEP_FORWARD: self.__going_fwd = True self.__going_back = False if not self._do_page_transition(): self._view.move_cursor(gtk.MOVEMENT_DISPLAY_LINES, 1) elif scrolltype == gtk.SCROLL_STEP_BACKWARD: self.__going_fwd = False self.__going_back = True if not self._do_page_transition(): self._view.move_cursor(gtk.MOVEMENT_DISPLAY_LINES, -1) elif scrolltype == gtk.SCROLL_JUMP or \ scrolltype == gtk.SCROLL_PAGE_FORWARD or \ scrolltype == gtk.SCROLL_PAGE_BACKWARD: if value > self._scrollbar.props.adjustment.props.upper: self._load_page(self._pagecount) else: self._load_page(round(value)) else: print 'Warning: unknown scrolltype %s with value %f' % (str(scrolltype), value) self._scrollbar.set_value(self._loaded_page) #FIXME: This should not be needed here if self.__page_changed == True: self.__page_changed = False return False else: return True def _paginated_cb(self, object): self._ready = True self._pagecount = self._paginator.get_total_pagecount() self._scrollbar.set_range(1.0, self._pagecount - 1.0) self._scrollbar.set_increments(1.0, 1.0) self._view.grab_focus() self._view.grab_default() if self._loaded_page < 1: self._load_page(1) def _destroy_cb(self, widget): self._epub.close()