Commit 647412fb authored by Terry Jan Reedy's avatar Terry Jan Reedy

Issue #25198: Idle doc viewer now uses user width and height setting.

The height is reduced by 3/4 to account for extra spacing between lines,
relative to an Idle editor, and extra tall header lines.
parent bdf1d0d0
...@@ -28,6 +28,7 @@ from HTMLParser import HTMLParser ...@@ -28,6 +28,7 @@ from HTMLParser import HTMLParser
from os.path import abspath, dirname, isdir, isfile, join from os.path import abspath, dirname, isdir, isfile, join
from Tkinter import Tk, Toplevel, Frame, Text, Scrollbar, Menu, Menubutton from Tkinter import Tk, Toplevel, Frame, Text, Scrollbar, Menu, Menubutton
import tkFont as tkfont import tkFont as tkfont
from idlelib.configHandler import idleConf
use_ttk = False # until available to import use_ttk = False # until available to import
if use_ttk: if use_ttk:
...@@ -161,8 +162,11 @@ class HelpText(Text): ...@@ -161,8 +162,11 @@ class HelpText(Text):
"Display help.html." "Display help.html."
def __init__(self, parent, filename): def __init__(self, parent, filename):
"Configure tags and feed file to parser." "Configure tags and feed file to parser."
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
Text.__init__(self, parent, wrap='word', highlightthickness=0, Text.__init__(self, parent, wrap='word', highlightthickness=0,
padx=5, borderwidth=0) padx=5, borderwidth=0, width=uwide, height=uhigh)
normalfont = self.findfont(['TkDefaultFont', 'arial', 'helvetica']) normalfont = self.findfont(['TkDefaultFont', 'arial', 'helvetica'])
fixedfont = self.findfont(['TkFixedFont', 'monaco', 'courier']) fixedfont = self.findfont(['TkFixedFont', 'monaco', 'courier'])
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment