mirror of
https://github.com/shlomif/PySolFC.git
synced 2025-04-05 00:02:29 -04:00
719 lines
24 KiB
Python
719 lines
24 KiB
Python
#!/usr/bin/env python
|
|
# -*- mode: python; coding: utf-8; -*-
|
|
# ---------------------------------------------------------------------------#
|
|
#
|
|
# Copyright (C) 1998-2003 Markus Franz Xaver Johannes Oberhumer
|
|
# Copyright (C) 2003 Mt. Hood Playing Card Co.
|
|
# Copyright (C) 2005-2009 Skomoroh
|
|
#
|
|
# 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 3 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, see <http://www.gnu.org/licenses/>.
|
|
#
|
|
# ---------------------------------------------------------------------------#
|
|
|
|
import os
|
|
import sys
|
|
|
|
from kivy.uix.boxlayout import BoxLayout
|
|
from kivy.uix.button import Button
|
|
from kivy.uix.label import Label
|
|
|
|
import pysollib.formatter
|
|
import pysollib.htmllib2 as htmllib
|
|
from pysollib.kivy.LApp import LPopCommander
|
|
from pysollib.kivy.LApp import LScrollView
|
|
from pysollib.kivy.LApp import LTopLevel
|
|
from pysollib.kivy.LApp import get_platform
|
|
from pysollib.mfxutil import Struct, openURL
|
|
from pysollib.mygettext import _
|
|
from pysollib.pysoltk import MfxMessageDialog
|
|
from pysollib.settings import TITLE
|
|
|
|
REMOTE_PROTOCOLS = ("ftp:", "gopher:", "http:", "https:", "mailto:", "news:",
|
|
"telnet:")
|
|
|
|
# ************************************************************************
|
|
# *
|
|
# ************************************************************************
|
|
|
|
|
|
if get_platform() == 'android':
|
|
from jnius import autoclass
|
|
from jnius import cast
|
|
|
|
def startAndroidBrowser(www):
|
|
# init java classes
|
|
PythonActivity = autoclass('org.kivy.android.PythonActivity')
|
|
Intent = autoclass('android.content.Intent')
|
|
Uri = autoclass('android.net.Uri')
|
|
# String = autoclass('java.lang.String') # get the Java object
|
|
|
|
# prepare activity
|
|
# PythonActivity.mActivity is the instance of the current Activity
|
|
# BUT, startActivity is a method from the Activity class, not from our
|
|
# PythonActivity.
|
|
# We need to cast our class into an activity and use it
|
|
currentActivity = cast(
|
|
'android.app.Activity', PythonActivity.mActivity)
|
|
|
|
# create the intent
|
|
intent = Intent()
|
|
intent.setAction(Intent.ACTION_VIEW)
|
|
intent.addFlags(Intent.FLAG_ACTIVITY_NEW_TASK)
|
|
intent.setDataAndType(Uri.parse(www), "application/xhtml+xml")
|
|
|
|
# start activity
|
|
currentActivity.startActivity(intent)
|
|
|
|
# ************************************************************************
|
|
# *
|
|
# ************************************************************************
|
|
|
|
|
|
def cmp2(a, b):
|
|
"""python 3 replacement for python 2 cmp function"""
|
|
return (a > b) - (a < b)
|
|
|
|
|
|
class tkHTMLWriter(pysollib.formatter.NullWriter):
|
|
def __init__(self, text, viewer, app):
|
|
pysollib.formatter.NullWriter.__init__(self)
|
|
|
|
self.text = text
|
|
self.viewer = viewer
|
|
|
|
#
|
|
if app:
|
|
font = app.getFont("sans")
|
|
fixed = app.getFont("fixed")
|
|
else:
|
|
font = ('helvetica', 12)
|
|
fixed = ('courier', 12)
|
|
size = font[1]
|
|
sign = 1
|
|
if size < 0:
|
|
sign = -1
|
|
self.fontmap = {
|
|
"h1": (font[0], size + 12 * sign, "bold"),
|
|
"h2": (font[0], size + 8 * sign, "bold"),
|
|
"h3": (font[0], size + 6 * sign, "bold"),
|
|
"h4": (font[0], size + 4 * sign, "bold"),
|
|
"h5": (font[0], size + 2 * sign, "bold"),
|
|
"h6": (font[0], size + 1 * sign, "bold"),
|
|
"bold": (font[0], size, "bold"),
|
|
"italic": (font[0], size, "italic"),
|
|
"pre": fixed,
|
|
}
|
|
|
|
self.text.config(cursor=self.viewer.defcursor, font=font)
|
|
for f in self.fontmap.keys():
|
|
self.text.tag_config(f, font=self.fontmap[f])
|
|
|
|
self.anchor = None
|
|
self.anchor_mark = None
|
|
self.font = None
|
|
self.font_mark = None
|
|
self.indent = ""
|
|
self.text.label.bind(on_ref_press=self.refpress)
|
|
|
|
'''
|
|
def createCallback(self, href):
|
|
class Functor:
|
|
def __init__(self, viewer, arg):
|
|
self.viewer = viewer
|
|
self.arg = arg
|
|
|
|
def __call__(self, *args):
|
|
self.viewer.updateHistoryXYView()
|
|
return self.viewer.display(self.arg)
|
|
return Functor(self.viewer, href)
|
|
'''
|
|
|
|
def write(self, data):
|
|
# print('writer: write %s' % data)
|
|
self.text.insert("insert", data)
|
|
|
|
def anchor_bgn(self, href, name, type):
|
|
# print('writer: anchor_bgn %s - %s' % (href, name))
|
|
if href:
|
|
# self.text.update_idletasks() # update display during parsing
|
|
self.anchor = (href, name, type)
|
|
self.anchor_mark = self.text.index("insert")
|
|
self.write('[ref=' + href + ']')
|
|
|
|
url = self.anchor[0]
|
|
fg = '0000cc'
|
|
u = self.viewer.normurl(url, with_protocol=False)
|
|
if u in self.viewer.visited_urls:
|
|
fg = '660099'
|
|
self.write('[color=' + fg + '][i]')
|
|
# self.text.tag_config(tag, foreground=fg, underline=1)
|
|
|
|
def refpress(self, instance, value):
|
|
# print('writer: refpress %s, %s' % (instance, value))
|
|
pass
|
|
|
|
def anchor_end(self):
|
|
# print('writer: anchor_end')
|
|
if self.anchor:
|
|
|
|
self.anchor = None
|
|
self.write('[/i][/color]')
|
|
self.write('[/ref]')
|
|
|
|
def anchor_enter(self, url):
|
|
url = self.viewer.normurl(url)
|
|
self.viewer.statusbar.updateText(url=url)
|
|
self.text.config(cursor=self.viewer.handcursor)
|
|
|
|
def anchor_leave(self, *args):
|
|
self.viewer.statusbar.updateText(url='')
|
|
self.text.config(cursor=self.viewer.defcursor)
|
|
|
|
def new_font(self, font):
|
|
# print('writer: new_font %s' % str(font))
|
|
# end the current font
|
|
if self.font:
|
|
# print "end_font(%s)" % `self.font`
|
|
self.text.tag_add(self.font, self.font_mark, "insert")
|
|
self.font = None
|
|
# start the new font
|
|
if font:
|
|
# print "start_font(%s)" % `font`
|
|
self.font_mark = self.text.index("insert")
|
|
if font[0] in self.fontmap:
|
|
self.font = font[0]
|
|
elif font[3]:
|
|
self.font = "pre"
|
|
elif font[2]:
|
|
self.font = "bold"
|
|
elif font[1]:
|
|
self.font = "italic"
|
|
else:
|
|
self.font = None
|
|
|
|
def new_margin(self, margin, level):
|
|
# print('writer: new_margin %s, %s' % (margin, level))
|
|
self.indent = " " * level
|
|
|
|
def send_label_data(self, data):
|
|
# print('writer: send_label_data %s' % (data))
|
|
# self.write(self.indent + data + " ")
|
|
self.write(self.indent)
|
|
if data == '*': # <li>
|
|
img = self.viewer.symbols_img.get('disk')
|
|
if img:
|
|
self.text.image_create(index='insert', image=img,
|
|
padx=0, pady=0)
|
|
else:
|
|
self.write('*')
|
|
else:
|
|
self.write(data)
|
|
self.write(' ')
|
|
|
|
def send_paragraph(self, blankline):
|
|
# print('writer: send_paragraph %s' % (blankline))
|
|
self.write('\n' * blankline)
|
|
|
|
def send_line_break(self):
|
|
# print('writer: send_break')
|
|
self.write('\n')
|
|
|
|
def send_hor_rule(self, *args):
|
|
if (args):
|
|
pass
|
|
# print('writer: send_hor_rule %s' % (args))
|
|
# width = int(int(self.text["width"]) * 0.9)
|
|
width = 20
|
|
self.write("_" * width)
|
|
self.write("\n")
|
|
|
|
def send_literal_data(self, data):
|
|
# print('writer: send_literal_data %s' % (data))
|
|
self.write(data)
|
|
|
|
def send_flowing_data(self, data):
|
|
# print('writer: send_flowing_data %s' % (data))
|
|
self.write(data)
|
|
|
|
# ************************************************************************
|
|
# *
|
|
# ************************************************************************
|
|
|
|
|
|
class tkHTMLParser(htmllib.HTMLParser):
|
|
def anchor_bgn(self, href, name, type):
|
|
self.formatter.flush_softspace()
|
|
htmllib.HTMLParser.anchor_bgn(self, href, name, type)
|
|
self.formatter.writer.anchor_bgn(href, name, type)
|
|
|
|
def close(self):
|
|
# print('tkHTMLParser1: close()')
|
|
self.formatter.writer.text.applyBuffer()
|
|
# label = self.formatter.writer.text.label
|
|
# print('tkHTMLParser: label.refs %s' % str(label.refs))
|
|
# print ('tkHTMLParser: label.refs %s' % str(Label.refs))
|
|
|
|
# print('tkHTMLParser2: close()')
|
|
htmllib.HTMLParser.close(self)
|
|
|
|
def anchor_end(self):
|
|
if self.anchor:
|
|
self.anchor = None
|
|
self.formatter.writer.anchor_end()
|
|
|
|
def do_dt(self, attrs):
|
|
self.formatter.end_paragraph(1)
|
|
self.ddpop()
|
|
|
|
def handle_image(self, src, alt, ismap, align, width, height):
|
|
self.formatter.writer.viewer.showImage(
|
|
src, alt, ismap, align, width, height)
|
|
|
|
# ************************************************************************
|
|
# *
|
|
# ************************************************************************
|
|
|
|
|
|
class HTMLButton(Button):
|
|
def __init__(self, **kw):
|
|
super(HTMLButton, self).__init__(**kw)
|
|
|
|
def config(self, **kw):
|
|
pass
|
|
|
|
|
|
class HTMLLabel(Label):
|
|
def __init__(self, **kw):
|
|
super(HTMLLabel, self).__init__(**kw)
|
|
|
|
self.bind(size=self.onUpdate)
|
|
self.bind(pos=self.onUpdate)
|
|
self.bind(text=self.onUpdate)
|
|
|
|
def onUpdate(self, instance, size):
|
|
self.size_hint_y = None
|
|
self.text_size = self.width, None
|
|
self.texture_update()
|
|
self.height = self.texture_size[1]
|
|
|
|
|
|
class HTMLText(LScrollView, LPopCommander):
|
|
def __init__(self, **kw):
|
|
super(HTMLText, self).__init__(**kw)
|
|
|
|
self.label = HTMLLabel(text='', markup=True)
|
|
self.tags = {}
|
|
self.textbuffer = ''
|
|
self.add_widget(self.label)
|
|
|
|
def applyBuffer(self):
|
|
# print('applybuffer:')
|
|
self.label.text = self.textbuffer
|
|
|
|
def config(self, **kw):
|
|
# print('config: %s' % kw)
|
|
pass
|
|
|
|
def update_idletasks(self):
|
|
pass
|
|
|
|
def delete(self, val, val1):
|
|
pass
|
|
|
|
def insert(self, cmd, data):
|
|
# print('insert text: %s' % data)
|
|
self.textbuffer = self.textbuffer + data
|
|
# self.label.text = self.textbuffer
|
|
pass
|
|
|
|
def index(self, cmd):
|
|
# print('index: %s' % cmd)
|
|
# was sollen wir hier zuruckgeben ?
|
|
return 0
|
|
|
|
def tag_add(self, font, fontmark, cmd):
|
|
# print('tag_add: %s, %s, %s' % (font, fontmark, cmd))
|
|
pass
|
|
|
|
def tag_config(self, tag, **kw):
|
|
# print('tag_config: %s, %s' % (tag, kw))
|
|
# self.tags[tag] = kw
|
|
|
|
# for t, k in self.tags:
|
|
# print('tagslist: %s, %s' % (t, k))
|
|
|
|
pass
|
|
|
|
def xview_moveto(self, xview):
|
|
# print('xview_moveto: %s' % xview)
|
|
pass
|
|
|
|
def yview_moveto(self, yview):
|
|
# print('yview_moveto: %s' % yview)
|
|
pass
|
|
|
|
|
|
class HTMLViewer:
|
|
symbols_fn = {} # filenames, loaded in Application.loadImages3
|
|
symbols_img = {}
|
|
|
|
def make_pop_command(self, parent, title):
|
|
def pop_command(event):
|
|
if self.history.index > 1:
|
|
self.goBack(event)
|
|
return None
|
|
del self.history.list
|
|
self.history.index = 0
|
|
parent.popWork(title)
|
|
return pop_command
|
|
|
|
def make_close_command(self, parent, title):
|
|
def close_command(event):
|
|
del self.history.list
|
|
self.history.index = 0
|
|
parent.popWork(title)
|
|
return close_command
|
|
|
|
def refpress(self, instance, value):
|
|
# print('writer: refpress %s, %s' % (instance, value))
|
|
self.updateHistoryXYView()
|
|
return self.display(value)
|
|
|
|
def __init__(self, parent, app=None, home=None):
|
|
self.parent = parent
|
|
self.app = app
|
|
self.home = home
|
|
self.url = None
|
|
self.history = Struct(
|
|
list=[],
|
|
index=0,
|
|
)
|
|
self.visited_urls = []
|
|
self.images = {}
|
|
# need to keep a reference because of garbage collection
|
|
self.defcursor = "default"
|
|
# self.defcursor = parent["cursor"]
|
|
# self.defcursor = 'xterm'
|
|
self.handcursor = "hand2"
|
|
|
|
self.title = _("Browser")
|
|
self.window = None
|
|
self.running = False
|
|
|
|
# prüfen ob noch aktiv.
|
|
|
|
if parent.workStack.peek(self.title) is not None:
|
|
parent.popWork(self.title)
|
|
|
|
pc = self.make_pop_command(parent, self.title)
|
|
cc = self.make_close_command(parent, self.title)
|
|
|
|
# neuen Dialog aufbauen.
|
|
|
|
window = LTopLevel(app.top, self.title, size_hint=(1.8, 1.0))
|
|
window.titleline.bind(on_press=cc)
|
|
self.parent.pushWork(self.title, window)
|
|
self.window = window
|
|
self.running = True
|
|
|
|
content = BoxLayout(orientation='vertical')
|
|
# buttonline =
|
|
# BoxLayout(orientation='horizontal', size_hint=(1.0, 0.1))
|
|
|
|
# create buttons
|
|
self.homeButton = HTMLButton(text=_("Index"), on_release=self.goHome)
|
|
self.backButton = HTMLButton(text=_("Back"), on_release=self.goBack)
|
|
self.forwardButton = HTMLButton(
|
|
text=_("Forward"), on_release=self.goForward)
|
|
self.closeButton = HTMLButton(text=_("Close"), on_release=self.goHome)
|
|
|
|
'''
|
|
buttonline.add_widget(self.homeButton)
|
|
buttonline.add_widget(self.backButton)
|
|
buttonline.add_widget(self.forwardButton)
|
|
buttonline.add_widget(self.closeButton)
|
|
content.add_widget(buttonline)
|
|
'''
|
|
|
|
'''
|
|
self.homeButton = Tkinter.Button(parent, text=_("Index"),
|
|
width=button_width,
|
|
command=self.goHome)
|
|
self.homeButton.grid(row=0, column=0, sticky='w')
|
|
self.backButton = Tkinter.Button(parent, text=_("Back"),
|
|
width=button_width,
|
|
command=self.goBack)
|
|
self.backButton.grid(row=0, column=1, sticky='w')
|
|
self.forwardButton = Tkinter.Button(parent, text=_("Forward"),
|
|
width=button_width,
|
|
command=self.goForward)
|
|
self.forwardButton.grid(row=0, column=2, sticky='w')
|
|
self.closeButton = Tkinter.Button(parent, text=_("Close"),
|
|
width=button_width,
|
|
command=self.destroy)
|
|
self.closeButton.grid(row=0, column=3, sticky='e')
|
|
'''
|
|
|
|
# create text widget
|
|
|
|
self.text = HTMLText(
|
|
pop_command=pc, text="hallo", size_hint=(1.0, 1.0))
|
|
self.text.label.bind(on_ref_press=self.refpress)
|
|
content.add_widget(self.text)
|
|
'''
|
|
text_frame = Tkinter.Frame(parent)
|
|
text_frame.grid(row=1, column=0, columnspan=4, sticky='nsew')
|
|
text_frame.grid_propagate(False)
|
|
vbar = Tkinter.Scrollbar(text_frame)
|
|
vbar.pack(side='right', fill='y')
|
|
self.text = Tkinter.Text(text_frame,
|
|
fg='black', bg='white',
|
|
bd=1, relief='sunken',
|
|
cursor=self.defcursor,
|
|
wrap='word', padx=10)
|
|
self.text.pack(side='left', fill='both', expand=True)
|
|
self.text["yscrollcommand"] = vbar.set
|
|
vbar["command"] = self.text.yview
|
|
'''
|
|
|
|
self.window.content.add_widget(content)
|
|
|
|
# statusbar
|
|
# self.statusbar = HtmlStatusbar(parent, row=2, column=0, columnspan=4)
|
|
|
|
# parent.columnconfigure(2, weight=1)
|
|
# parent.rowconfigure(1, weight=1)
|
|
|
|
# load images
|
|
for name, fn in self.symbols_fn.items():
|
|
self.symbols_img[name] = self.getImage(fn)
|
|
|
|
def _yview(self, *args):
|
|
self.text.yview(*args)
|
|
return 'break'
|
|
|
|
def page_up(self, *event):
|
|
return self._yview('scroll', -1, 'page')
|
|
|
|
def page_down(self, *event):
|
|
return self._yview('scroll', 1, 'page')
|
|
|
|
def unit_up(self, *event):
|
|
return self._yview('scroll', -1, 'unit')
|
|
|
|
def unit_down(self, *event):
|
|
return self._yview('scroll', 1, 'unit')
|
|
|
|
def scroll_top(self, *event):
|
|
return self._yview('moveto', 0)
|
|
|
|
def scroll_bottom(self, *event):
|
|
return self._yview('moveto', 1)
|
|
|
|
# locate a file relative to the current self.url
|
|
def basejoin(self, url, baseurl=None, relpath=1):
|
|
if baseurl is None:
|
|
baseurl = self.url
|
|
if 0:
|
|
import urllib
|
|
url = urllib.pathname2url(url)
|
|
if relpath and self.url:
|
|
url = urllib.basejoin(baseurl, url)
|
|
else:
|
|
url = os.path.normpath(url)
|
|
if relpath and baseurl and not os.path.isabs(url):
|
|
h1, t1 = os.path.split(url)
|
|
h2, t2 = os.path.split(baseurl)
|
|
if cmp2(h1, h2) != 0:
|
|
url = os.path.join(h2, h1, t1)
|
|
url = os.path.normpath(url)
|
|
return url
|
|
|
|
def normurl(self, url, with_protocol=True):
|
|
for p in REMOTE_PROTOCOLS:
|
|
if url.startswith(p):
|
|
break
|
|
else:
|
|
url = self.basejoin(url)
|
|
if with_protocol:
|
|
if os.name == 'nt':
|
|
url = url.replace('\\', '/')
|
|
url = 'file://' + url
|
|
return url
|
|
|
|
def openfile(self, url):
|
|
if url[-1:] == "/" or os.path.isdir(url):
|
|
url = os.path.join(url, "index.html")
|
|
url = os.path.normpath(url)
|
|
if sys.version_info > (3,):
|
|
import codecs
|
|
return codecs.open(url, encoding='utf-8'), url
|
|
return open(url, "rb"), url
|
|
|
|
def display(self, url, add=1, relpath=1, xview=0, yview=0):
|
|
# for some reason we have to stop the PySol demo
|
|
# (is this a multithread problem with Tkinter ?)
|
|
if self.app and self.app.game:
|
|
self.app.game.stopDemo()
|
|
# self.app.game._cancelDrag()
|
|
# pass
|
|
|
|
# this is a workaround for android: Small devices cannot
|
|
# render the whole text into a label ... and Android does not
|
|
# allow local files be displayed in the local browser. The
|
|
# simplest way is to take it from the original web site.
|
|
if get_platform() == 'android':
|
|
if os.path.basename(url) == 'license.html':
|
|
url = 'https://www.gnu.org/licenses/gpl-3.0-standalone.html'
|
|
|
|
# ftp: and http: would work if we use urllib, but this widget is
|
|
# far too limited to display anything but our documentation...
|
|
for p in REMOTE_PROTOCOLS:
|
|
if url.startswith(p):
|
|
plat = get_platform()
|
|
if plat == 'android':
|
|
print("Open url: %s (TBD)" % url)
|
|
startAndroidBrowser(url)
|
|
elif not openURL(url):
|
|
return
|
|
|
|
# locate the file relative to the current url
|
|
url = self.basejoin(url, relpath=relpath)
|
|
|
|
# read the file
|
|
try:
|
|
file = None
|
|
if 0:
|
|
import urllib
|
|
file = urllib.urlopen(url)
|
|
else:
|
|
file, url = self.openfile(url)
|
|
data = file.read()
|
|
file.close()
|
|
file = None
|
|
except Exception:
|
|
print("Open url(1) - Exception: %s" % url)
|
|
if file:
|
|
file.close()
|
|
|
|
'''
|
|
self.errorDialog(_("Unable to service request:\n") + url)
|
|
'''
|
|
return
|
|
|
|
self.url = url
|
|
if self.home is None:
|
|
self.home = self.url
|
|
if add:
|
|
self.addHistory(self.url, xview=xview, yview=yview)
|
|
|
|
# print self.history.index, self.history.list
|
|
if self.history.index > 1:
|
|
self.backButton.config(state="normal")
|
|
else:
|
|
self.backButton.config(state="disabled")
|
|
if self.history.index < len(self.history.list):
|
|
self.forwardButton.config(state="normal")
|
|
else:
|
|
self.forwardButton.config(state="disabled")
|
|
|
|
old_c1, old_c2 = self.defcursor, self.handcursor
|
|
self.defcursor = self.handcursor = "watch"
|
|
self.text.config(cursor=self.defcursor)
|
|
self.text.update_idletasks()
|
|
# self.frame.config(cursor=self.defcursor)
|
|
# self.frame.update_idletasks()
|
|
self.text.config(state="normal")
|
|
self.text.delete("1.0", "end")
|
|
# self.images = {}
|
|
self.text.textbuffer = ''
|
|
writer = tkHTMLWriter(self.text, self, self.app)
|
|
fmt = pysollib.formatter.AbstractFormatter(writer)
|
|
parser = tkHTMLParser(fmt)
|
|
parser.feed(data)
|
|
parser.close()
|
|
self.text.config(state="disabled")
|
|
if 0.0 <= xview <= 1.0:
|
|
self.text.xview_moveto(xview)
|
|
if 0.0 <= yview <= 1.0:
|
|
self.text.yview_moveto(yview)
|
|
# self.parent.wm_title(parser.title)
|
|
self.window.titleline.text = parser.title
|
|
self.parent.wm_iconname(parser.title)
|
|
self.defcursor, self.handcursor = old_c1, old_c2
|
|
self.text.config(cursor=self.defcursor)
|
|
# self.frame.config(cursor=self.defcursor)
|
|
|
|
def addHistory(self, url, xview=0, yview=0):
|
|
if url not in self.visited_urls:
|
|
self.visited_urls.append(url)
|
|
if self.history.index > 0:
|
|
u, xv, yv = self.history.list[self.history.index - 1]
|
|
if cmp2(u, url) == 0:
|
|
self.updateHistoryXYView()
|
|
return
|
|
del self.history.list[self.history.index:]
|
|
self.history.list.append((url, xview, yview))
|
|
self.history.index = self.history.index + 1
|
|
|
|
def updateHistoryXYView(self):
|
|
if self.history.index > 0:
|
|
url, xview, yview = self.history.list[self.history.index - 1]
|
|
self.history.list[self.history.index - 1] = (url, xview, yview)
|
|
|
|
def goBack(self, *event):
|
|
if self.history.index > 1:
|
|
self.updateHistoryXYView()
|
|
self.history.index = self.history.index - 1
|
|
url, xview, yview = self.history.list[self.history.index - 1]
|
|
self.display(url, add=0, relpath=0, xview=xview, yview=yview)
|
|
|
|
def goForward(self, *event):
|
|
if self.history.index < len(self.history.list):
|
|
self.updateHistoryXYView()
|
|
url, xview, yview = self.history.list[self.history.index]
|
|
self.history.index = self.history.index + 1
|
|
self.display(url, add=0, relpath=0, xview=xview, yview=yview)
|
|
|
|
def goHome(self, *event):
|
|
if self.home and cmp2(self.home, self.url) != 0:
|
|
self.updateHistoryXYView()
|
|
self.display(self.home, relpath=0)
|
|
|
|
def errorDialog(self, msg):
|
|
MfxMessageDialog(self.parent,
|
|
title=_("%s HTML Problem") % TITLE,
|
|
text=msg,
|
|
# bitmap="warning"
|
|
# FIXME: this interp don't have images
|
|
strings=(_("&OK"), ), default=0)
|
|
|
|
def getImage(self, fn):
|
|
if fn in self.images:
|
|
return self.images[fn]
|
|
else:
|
|
return None
|
|
|
|
def showImage(self, src, alt, ismap, align, width, height):
|
|
url = self.basejoin(src)
|
|
img = self.getImage(url)
|
|
if img:
|
|
self.text.image_create(index="insert", image=img, padx=0, pady=0)
|
|
|
|
|
|
# ************************************************************************
|
|
# *
|
|
# ************************************************************************
|
|
|
|
''
|