2015-09-21 23:36:42 -03:00
|
|
|
""" help.py: Implement the Idle help menu.
|
|
|
|
Contents are subject to revision at any time, without notice.
|
2015-09-20 20:57:13 -03:00
|
|
|
|
|
|
|
|
2019-05-06 17:55:19 -03:00
|
|
|
Help => About IDLE: display About Idle dialog
|
2015-09-20 20:57:13 -03:00
|
|
|
|
2016-05-28 14:22:31 -03:00
|
|
|
<to be moved here from help_about.py>
|
2015-09-20 20:57:13 -03:00
|
|
|
|
|
|
|
|
2015-09-21 23:36:42 -03:00
|
|
|
Help => IDLE Help: Display help.html with proper formatting.
|
|
|
|
Doc/library/idle.rst (Sphinx)=> Doc/build/html/library/idle.html
|
|
|
|
(help.copy_strip)=> Lib/idlelib/help.html
|
|
|
|
|
2016-02-09 21:17:51 -04:00
|
|
|
HelpParser - Parse help.html and render to tk Text.
|
2015-09-20 20:57:13 -03:00
|
|
|
|
2015-09-21 23:36:42 -03:00
|
|
|
HelpText - Display formatted help.html.
|
2015-09-20 20:57:13 -03:00
|
|
|
|
2015-09-21 23:36:42 -03:00
|
|
|
HelpFrame - Contain text, scrollbar, and table-of-contents.
|
2015-09-20 20:57:13 -03:00
|
|
|
(This will be needed for display in a future tabbed window.)
|
|
|
|
|
2015-09-21 23:36:42 -03:00
|
|
|
HelpWindow - Display HelpFrame in a standalone window.
|
|
|
|
|
|
|
|
copy_strip - Copy idle.html to help.html, rstripping each line.
|
2015-09-20 20:57:13 -03:00
|
|
|
|
|
|
|
show_idlehelp - Create HelpWindow. Called in EditorWindow.help_dialog.
|
|
|
|
"""
|
|
|
|
from html.parser import HTMLParser
|
2016-04-24 18:12:32 -03:00
|
|
|
from os.path import abspath, dirname, isfile, join
|
2016-08-25 21:04:14 -03:00
|
|
|
from platform import python_version
|
2016-08-31 01:50:55 -03:00
|
|
|
|
2016-06-10 19:19:21 -03:00
|
|
|
from tkinter import Toplevel, Frame, Text, Menu
|
|
|
|
from tkinter.ttk import Menubutton, Scrollbar
|
2015-09-20 20:57:13 -03:00
|
|
|
from tkinter import font as tkfont
|
2016-08-31 01:50:55 -03:00
|
|
|
|
2016-05-28 14:22:31 -03:00
|
|
|
from idlelib.config import idleConf
|
2015-09-20 20:57:13 -03:00
|
|
|
|
|
|
|
## About IDLE ##
|
|
|
|
|
|
|
|
|
|
|
|
## IDLE Help ##
|
|
|
|
|
|
|
|
class HelpParser(HTMLParser):
|
2015-09-21 23:36:42 -03:00
|
|
|
"""Render help.html into a text widget.
|
2015-09-20 20:57:13 -03:00
|
|
|
|
|
|
|
The overridden handle_xyz methods handle a subset of html tags.
|
|
|
|
The supplied text should have the needed tag configurations.
|
|
|
|
The behavior for unsupported tags, such as table, is undefined.
|
2016-03-01 02:13:07 -04:00
|
|
|
If the tags generated by Sphinx change, this class, especially
|
|
|
|
the handle_starttag and handle_endtags methods, might have to also.
|
2015-09-20 20:57:13 -03:00
|
|
|
"""
|
|
|
|
def __init__(self, text):
|
|
|
|
HTMLParser.__init__(self, convert_charrefs=True)
|
|
|
|
self.text = text # text widget we're rendering into
|
2015-09-24 18:32:01 -03:00
|
|
|
self.tags = '' # current block level text tags to apply
|
|
|
|
self.chartags = '' # current character level text tags
|
2015-09-20 20:57:13 -03:00
|
|
|
self.show = False # used so we exclude page navigation
|
|
|
|
self.hdrlink = False # used so we don't show header links
|
|
|
|
self.level = 0 # indentation level
|
|
|
|
self.pre = False # displaying preformatted text
|
2015-09-27 05:40:08 -03:00
|
|
|
self.hprefix = '' # prefix such as '25.5' to strip from headings
|
2015-09-20 20:57:13 -03:00
|
|
|
self.nested_dl = False # if we're in a nested <dl>
|
|
|
|
self.simplelist = False # simple list (no double spacing)
|
2015-09-27 05:40:08 -03:00
|
|
|
self.toc = [] # pair headers with text indexes for toc
|
|
|
|
self.header = '' # text within header tags for toc
|
2015-09-20 20:57:13 -03:00
|
|
|
|
|
|
|
def indent(self, amt=1):
|
|
|
|
self.level += amt
|
|
|
|
self.tags = '' if self.level == 0 else 'l'+str(self.level)
|
|
|
|
|
|
|
|
def handle_starttag(self, tag, attrs):
|
2015-09-21 23:36:42 -03:00
|
|
|
"Handle starttags in help.html."
|
2015-09-20 20:57:13 -03:00
|
|
|
class_ = ''
|
|
|
|
for a, v in attrs:
|
|
|
|
if a == 'class':
|
|
|
|
class_ = v
|
|
|
|
s = ''
|
|
|
|
if tag == 'div' and class_ == 'section':
|
|
|
|
self.show = True # start of main content
|
|
|
|
elif tag == 'div' and class_ == 'sphinxsidebar':
|
|
|
|
self.show = False # end of main content
|
|
|
|
elif tag == 'p' and class_ != 'first':
|
|
|
|
s = '\n\n'
|
|
|
|
elif tag == 'span' and class_ == 'pre':
|
2015-09-24 18:32:01 -03:00
|
|
|
self.chartags = 'pre'
|
2015-09-20 20:57:13 -03:00
|
|
|
elif tag == 'span' and class_ == 'versionmodified':
|
2015-09-24 18:32:01 -03:00
|
|
|
self.chartags = 'em'
|
2015-09-20 20:57:13 -03:00
|
|
|
elif tag == 'em':
|
2015-09-24 18:32:01 -03:00
|
|
|
self.chartags = 'em'
|
2015-09-20 20:57:13 -03:00
|
|
|
elif tag in ['ul', 'ol']:
|
|
|
|
if class_.find('simple') != -1:
|
|
|
|
s = '\n'
|
|
|
|
self.simplelist = True
|
|
|
|
else:
|
|
|
|
self.simplelist = False
|
|
|
|
self.indent()
|
|
|
|
elif tag == 'dl':
|
|
|
|
if self.level > 0:
|
|
|
|
self.nested_dl = True
|
|
|
|
elif tag == 'li':
|
|
|
|
s = '\n* ' if self.simplelist else '\n\n* '
|
|
|
|
elif tag == 'dt':
|
|
|
|
s = '\n\n' if not self.nested_dl else '\n' # avoid extra line
|
|
|
|
self.nested_dl = False
|
|
|
|
elif tag == 'dd':
|
|
|
|
self.indent()
|
|
|
|
s = '\n'
|
|
|
|
elif tag == 'pre':
|
|
|
|
self.pre = True
|
|
|
|
if self.show:
|
|
|
|
self.text.insert('end', '\n\n')
|
|
|
|
self.tags = 'preblock'
|
|
|
|
elif tag == 'a' and class_ == 'headerlink':
|
|
|
|
self.hdrlink = True
|
|
|
|
elif tag == 'h1':
|
|
|
|
self.tags = tag
|
|
|
|
elif tag in ['h2', 'h3']:
|
|
|
|
if self.show:
|
2015-09-27 05:40:08 -03:00
|
|
|
self.header = ''
|
2015-09-20 20:57:13 -03:00
|
|
|
self.text.insert('end', '\n\n')
|
|
|
|
self.tags = tag
|
|
|
|
if self.show:
|
2015-09-24 18:32:01 -03:00
|
|
|
self.text.insert('end', s, (self.tags, self.chartags))
|
2015-09-20 20:57:13 -03:00
|
|
|
|
|
|
|
def handle_endtag(self, tag):
|
2015-09-21 23:36:42 -03:00
|
|
|
"Handle endtags in help.html."
|
2015-09-24 18:32:01 -03:00
|
|
|
if tag in ['h1', 'h2', 'h3']:
|
2015-09-20 20:57:13 -03:00
|
|
|
self.indent(0) # clear tag, reset indent
|
2015-09-27 05:40:08 -03:00
|
|
|
if self.show:
|
2018-10-28 02:40:00 -03:00
|
|
|
indent = (' ' if tag == 'h3' else
|
|
|
|
' ' if tag == 'h2' else
|
|
|
|
'')
|
|
|
|
self.toc.append((indent+self.header, self.text.index('insert')))
|
2015-09-24 18:32:01 -03:00
|
|
|
elif tag in ['span', 'em']:
|
|
|
|
self.chartags = ''
|
2015-09-20 20:57:13 -03:00
|
|
|
elif tag == 'a':
|
|
|
|
self.hdrlink = False
|
|
|
|
elif tag == 'pre':
|
|
|
|
self.pre = False
|
|
|
|
self.tags = ''
|
|
|
|
elif tag in ['ul', 'dd', 'ol']:
|
|
|
|
self.indent(amt=-1)
|
|
|
|
|
|
|
|
def handle_data(self, data):
|
2015-09-21 23:36:42 -03:00
|
|
|
"Handle date segments in help.html."
|
2015-09-20 20:57:13 -03:00
|
|
|
if self.show and not self.hdrlink:
|
|
|
|
d = data if self.pre else data.replace('\n', ' ')
|
|
|
|
if self.tags == 'h1':
|
2018-10-28 02:40:00 -03:00
|
|
|
try:
|
|
|
|
self.hprefix = d[0:d.index(' ')]
|
|
|
|
except ValueError:
|
|
|
|
self.hprefix = ''
|
|
|
|
if self.tags in ['h1', 'h2', 'h3']:
|
|
|
|
if (self.hprefix != '' and
|
|
|
|
d[0:len(self.hprefix)] == self.hprefix):
|
|
|
|
d = d[len(self.hprefix):]
|
|
|
|
self.header += d.strip()
|
2015-09-24 18:32:01 -03:00
|
|
|
self.text.insert('end', d, (self.tags, self.chartags))
|
2015-09-20 20:57:13 -03:00
|
|
|
|
|
|
|
|
|
|
|
class HelpText(Text):
|
2015-09-21 23:36:42 -03:00
|
|
|
"Display help.html."
|
2015-09-20 20:57:13 -03:00
|
|
|
def __init__(self, parent, filename):
|
|
|
|
"Configure tags and feed file to parser."
|
2015-09-25 01:49:18 -03:00
|
|
|
uwide = idleConf.GetOption('main', 'EditorWindow', 'width', type='int')
|
|
|
|
uhigh = idleConf.GetOption('main', 'EditorWindow', 'height', type='int')
|
|
|
|
uhigh = 3 * uhigh // 4 # lines average 4/3 of editor line height
|
2015-09-20 20:57:13 -03:00
|
|
|
Text.__init__(self, parent, wrap='word', highlightthickness=0,
|
2015-09-25 01:49:18 -03:00
|
|
|
padx=5, borderwidth=0, width=uwide, height=uhigh)
|
2015-09-20 20:57:13 -03:00
|
|
|
|
|
|
|
normalfont = self.findfont(['TkDefaultFont', 'arial', 'helvetica'])
|
|
|
|
fixedfont = self.findfont(['TkFixedFont', 'monaco', 'courier'])
|
|
|
|
self['font'] = (normalfont, 12)
|
|
|
|
self.tag_configure('em', font=(normalfont, 12, 'italic'))
|
|
|
|
self.tag_configure('h1', font=(normalfont, 20, 'bold'))
|
|
|
|
self.tag_configure('h2', font=(normalfont, 18, 'bold'))
|
|
|
|
self.tag_configure('h3', font=(normalfont, 15, 'bold'))
|
2015-09-24 18:32:01 -03:00
|
|
|
self.tag_configure('pre', font=(fixedfont, 12), background='#f6f6ff')
|
2015-09-20 20:57:13 -03:00
|
|
|
self.tag_configure('preblock', font=(fixedfont, 10), lmargin1=25,
|
|
|
|
borderwidth=1, relief='solid', background='#eeffcc')
|
|
|
|
self.tag_configure('l1', lmargin1=25, lmargin2=25)
|
|
|
|
self.tag_configure('l2', lmargin1=50, lmargin2=50)
|
|
|
|
self.tag_configure('l3', lmargin1=75, lmargin2=75)
|
|
|
|
self.tag_configure('l4', lmargin1=100, lmargin2=100)
|
|
|
|
|
|
|
|
self.parser = HelpParser(self)
|
|
|
|
with open(filename, encoding='utf-8') as f:
|
|
|
|
contents = f.read()
|
|
|
|
self.parser.feed(contents)
|
|
|
|
self['state'] = 'disabled'
|
|
|
|
|
|
|
|
def findfont(self, names):
|
|
|
|
"Return name of first font family derived from names."
|
|
|
|
for name in names:
|
|
|
|
if name.lower() in (x.lower() for x in tkfont.names(root=self)):
|
|
|
|
font = tkfont.Font(name=name, exists=True, root=self)
|
|
|
|
return font.actual()['family']
|
|
|
|
elif name.lower() in (x.lower()
|
|
|
|
for x in tkfont.families(root=self)):
|
|
|
|
return name
|
|
|
|
|
|
|
|
|
|
|
|
class HelpFrame(Frame):
|
2015-09-21 23:36:42 -03:00
|
|
|
"Display html text, scrollbar, and toc."
|
2015-09-20 20:57:13 -03:00
|
|
|
def __init__(self, parent, filename):
|
|
|
|
Frame.__init__(self, parent)
|
2016-06-10 19:19:21 -03:00
|
|
|
# keep references to widgets for test access.
|
|
|
|
self.text = text = HelpText(self, filename)
|
2015-09-20 20:57:13 -03:00
|
|
|
self['background'] = text['background']
|
2016-06-10 19:19:21 -03:00
|
|
|
self.toc = toc = self.toc_menu(text)
|
|
|
|
self.scroll = scroll = Scrollbar(self, command=text.yview)
|
2015-09-20 20:57:13 -03:00
|
|
|
text['yscrollcommand'] = scroll.set
|
2016-06-10 19:19:21 -03:00
|
|
|
|
2015-09-27 05:40:08 -03:00
|
|
|
self.rowconfigure(0, weight=1)
|
|
|
|
self.columnconfigure(1, weight=1) # text
|
2016-06-10 19:19:21 -03:00
|
|
|
toc.grid(row=0, column=0, sticky='nw')
|
|
|
|
text.grid(row=0, column=1, sticky='nsew')
|
|
|
|
scroll.grid(row=0, column=2, sticky='ns')
|
2015-09-20 20:57:13 -03:00
|
|
|
|
2015-09-27 05:40:08 -03:00
|
|
|
def toc_menu(self, text):
|
|
|
|
"Create table of contents as drop-down menu."
|
2015-09-20 20:57:13 -03:00
|
|
|
toc = Menubutton(self, text='TOC')
|
|
|
|
drop = Menu(toc, tearoff=False)
|
2015-09-27 05:40:08 -03:00
|
|
|
for lbl, dex in text.parser.toc:
|
|
|
|
drop.add_command(label=lbl, command=lambda dex=dex:text.yview(dex))
|
2015-09-20 20:57:13 -03:00
|
|
|
toc['menu'] = drop
|
|
|
|
return toc
|
|
|
|
|
|
|
|
|
|
|
|
class HelpWindow(Toplevel):
|
2015-09-21 23:36:42 -03:00
|
|
|
"Display frame with rendered html."
|
2015-09-20 20:57:13 -03:00
|
|
|
def __init__(self, parent, filename, title):
|
|
|
|
Toplevel.__init__(self, parent)
|
|
|
|
self.wm_title(title)
|
|
|
|
self.protocol("WM_DELETE_WINDOW", self.destroy)
|
|
|
|
HelpFrame(self, filename).grid(column=0, row=0, sticky='nsew')
|
|
|
|
self.grid_columnconfigure(0, weight=1)
|
|
|
|
self.grid_rowconfigure(0, weight=1)
|
|
|
|
|
|
|
|
|
2015-09-21 23:36:42 -03:00
|
|
|
def copy_strip():
|
2016-03-01 02:13:07 -04:00
|
|
|
"""Copy idle.html to idlelib/help.html, stripping trailing whitespace.
|
2016-03-01 02:18:47 -04:00
|
|
|
|
2018-10-28 02:52:08 -03:00
|
|
|
Files with trailing whitespace cannot be pushed to the git cpython
|
2016-03-01 02:13:07 -04:00
|
|
|
repository. For 3.x (on Windows), help.html is generated, after
|
2018-10-28 02:52:08 -03:00
|
|
|
editing idle.rst on the master branch, with
|
2016-03-01 02:13:07 -04:00
|
|
|
sphinx-build -bhtml . build/html
|
|
|
|
python_d.exe -c "from idlelib.help import copy_strip; copy_strip()"
|
2018-10-28 02:52:08 -03:00
|
|
|
Check build/html/library/idle.html, the help.html diff, and the text
|
|
|
|
displayed by Help => IDLE Help. Add a blurb and create a PR.
|
|
|
|
|
|
|
|
It can be worthwhile to occasionally generate help.html without
|
|
|
|
touching idle.rst. Changes to the master version and to the doc
|
|
|
|
build system may result in changes that should not changed
|
|
|
|
the displayed text, but might break HelpParser.
|
|
|
|
|
|
|
|
As long as master and maintenance versions of idle.rst remain the
|
|
|
|
same, help.html can be backported. The internal Python version
|
|
|
|
number is not displayed. If maintenance idle.rst diverges from
|
|
|
|
the master version, then instead of backporting help.html from
|
2019-07-21 16:54:34 -03:00
|
|
|
master, repeat the procedure above to generate a maintenance
|
2018-10-28 02:52:08 -03:00
|
|
|
version.
|
2016-03-01 02:13:07 -04:00
|
|
|
"""
|
2015-09-21 23:36:42 -03:00
|
|
|
src = join(abspath(dirname(dirname(dirname(__file__)))),
|
2018-10-28 02:52:08 -03:00
|
|
|
'Doc', 'build', 'html', 'library', 'idle.html')
|
2015-09-21 23:36:42 -03:00
|
|
|
dst = join(abspath(dirname(__file__)), 'help.html')
|
|
|
|
with open(src, 'rb') as inn,\
|
|
|
|
open(dst, 'wb') as out:
|
|
|
|
for line in inn:
|
2015-09-23 04:45:13 -03:00
|
|
|
out.write(line.rstrip() + b'\n')
|
2017-06-13 22:32:16 -03:00
|
|
|
print(f'{src} copied to {dst}')
|
2015-09-21 23:36:42 -03:00
|
|
|
|
2015-09-20 20:57:13 -03:00
|
|
|
def show_idlehelp(parent):
|
2015-09-21 23:36:42 -03:00
|
|
|
"Create HelpWindow; called from Idle Help event handler."
|
|
|
|
filename = join(abspath(dirname(__file__)), 'help.html')
|
2015-09-20 20:57:13 -03:00
|
|
|
if not isfile(filename):
|
2015-09-21 23:36:42 -03:00
|
|
|
# try copy_strip, present message
|
2015-09-21 23:42:32 -03:00
|
|
|
return
|
2016-08-25 21:04:14 -03:00
|
|
|
HelpWindow(parent, filename, 'IDLE Help (%s)' % python_version())
|
2015-09-20 20:57:13 -03:00
|
|
|
|
|
|
|
if __name__ == '__main__':
|
2018-06-15 19:38:35 -03:00
|
|
|
from unittest import main
|
|
|
|
main('idlelib.idle_test.test_help', verbosity=2, exit=False)
|
|
|
|
|
2015-09-20 20:57:13 -03:00
|
|
|
from idlelib.idle_test.htest import run
|
|
|
|
run(show_idlehelp)
|