FM / idlelib

/opt/imh/python3.13/lib/python3.13/idlelib/

/opt/imh/python3.13/lib/python3.13/idlelib

Name	Size	Mode	Actions
Icons/	-	0755	rm
__pycache__/	-	0755	rm
autocomplete.py	9354	0644	edit dl rm
autocomplete_w.py	20863	0644	edit dl rm
autoexpand.py	3216	0644	edit dl rm
browser.py	8588	0644	edit dl rm
calltip.py	7267	0644	edit dl rm
calltip_w.py	7083	0644	edit dl rm
ChangeLog	56360	0644	edit dl rm
codecontext.py	11420	0644	edit dl rm
colorizer.py	14783	0644	edit dl rm
config-extensions.def	2266	0644	edit dl rm
config-highlight.def	2864	0644	edit dl rm
config-keys.def	10910	0644	edit dl rm
config-main.def	3168	0644	edit dl rm
config.py	38403	0644	edit dl rm
configdialog.py	105303	0644	edit dl rm
config_key.py	15230	0644	edit dl rm
CREDITS.txt	2148	0644	edit dl rm
debugger.py	20997	0644	edit dl rm
debugger_r.py	12115	0644	edit dl rm
debugobj.py	4177	0644	edit dl rm
debugobj_r.py	1082	0644	edit dl rm
delegator.py	1044	0644	edit dl rm
dynoption.py	1993	0644	edit dl rm
editor.py	69557	0644	edit dl rm
extend.txt	3632	0644	edit dl rm
filelist.py	3871	0644	edit dl rm
format.py	15777	0644	edit dl rm
grep.py	7521	0644	edit dl rm
help.html	60566	0644	edit dl rm
help.py	11843	0644	edit dl rm
help_about.py	9023	0644	edit dl rm
history.py	4065	0644	edit dl rm
HISTORY.txt	10313	0644	edit dl rm
hyperparser.py	12889	0644	edit dl rm
idle.bat	177	0644	edit dl rm
idle.py	454	0644	edit dl rm
idle.pyw	570	0644	edit dl rm
iomenu.py	16159	0644	edit dl rm
macosx.py	9290	0644	edit dl rm
mainmenu.py	3938	0644	edit dl rm
multicall.py	18652	0644	edit dl rm
NEWS2x.txt	27172	0644	edit dl rm
News3.txt	56818	0644	edit dl rm
outwin.py	5705	0644	edit dl rm
parenmatch.py	7204	0644	edit dl rm
pathbrowser.py	3093	0644	edit dl rm
percolator.py	3568	0644	edit dl rm
pyparse.py	19864	0644	edit dl rm
pyshell.py	62484	0755	edit dl rm
query.py	15067	0644	edit dl rm
README.txt	11653	0644	edit dl rm
redirector.py	6832	0644	edit dl rm
replace.py	9798	0644	edit dl rm
rpc.py	21078	0644	edit dl rm
run.py	21877	0644	edit dl rm
runscript.py	8273	0644	edit dl rm
scrolledlist.py	4478	0644	edit dl rm
search.py	5567	0644	edit dl rm
searchbase.py	7852	0644	edit dl rm
searchengine.py	7372	0644	edit dl rm
sidebar.py	20327	0644	edit dl rm
squeezer.py	12834	0644	edit dl rm
stackviewer.py	4016	0644	edit dl rm
statusbar.py	1474	0644	edit dl rm
textview.py	6808	0644	edit dl rm
TODO.txt	8477	0644	edit dl rm
tooltip.py	6665	0644	edit dl rm
tree.py	16773	0644	edit dl rm
undo.py	11016	0644	edit dl rm
util.py	1312	0644	edit dl rm
window.py	2616	0644	edit dl rm
zoomheight.py	4203	0644	edit dl rm
zzdummy.py	2005	0644	edit dl rm
__init__.py	396	0644	edit dl rm
__main__.py	107	0644	edit dl rm

Edit: /opt/imh/python3.13/lib/python3.13/idlelib/outwin.py (5705B)

"""Editor window that can serve as an output file.
"""

import re

from tkinter import messagebox

from idlelib.editor import EditorWindow

file_line_pats = [
    # order of patterns matters
    r'file "([^"]*)", line (\d+)',
    r'([^\s]+)\((\d+)\)',
    r'^(\s*\S.*?):\s*(\d+):',  # Win filename, maybe starting with spaces
    r'([^\s]+):\s*(\d+):',     # filename or path, ltrim
    r'^\s*(\S.*?):\s*(\d+):',  # Win abs path with embedded spaces, ltrim
]

file_line_progs = None

def compile_progs():
    "Compile the patterns for matching to file name and line number."
    global file_line_progs
    file_line_progs = [re.compile(pat, re.IGNORECASE)
                       for pat in file_line_pats]

def file_line_helper(line):
    """Extract file name and line number from line of text.

Check if line of text contains one of the file/line patterns.
    If it does and if the file and line are valid, return
    a tuple of the file name and line number.  If it doesn't match
    or if the file or line is invalid, return None.
    """
    if not file_line_progs:
        compile_progs()
    for prog in file_line_progs:
        match = prog.search(line)
        if match:
            filename, lineno = match.group(1, 2)
            try:
                f = open(filename)
                f.close()
                break
            except OSError:
                continue
    else:
        return None
    try:
        return filename, int(lineno)
    except TypeError:
        return None

class OutputWindow(EditorWindow):
    """An editor window that can serve as an output file.

Also the future base class for the Python shell window.
    This class has no input facilities.

Adds binding to open a file at a line to the text widget.
    """

# Our own right-button menu
    rmenu_specs = [
        ("Cut", "<<cut>>", "rmenu_check_cut"),
        ("Copy", "<<copy>>", "rmenu_check_copy"),
        ("Paste", "<<paste>>", "rmenu_check_paste"),
        (None, None, None),
        ("Go to file/line", "<<goto-file-line>>", None),
    ]

allow_code_context = False

def __init__(self, *args):
        EditorWindow.__init__(self, *args)
        self.text.bind("<<goto-file-line>>", self.goto_file_line)

# Customize EditorWindow
    def ispythonsource(self, filename):
        "Python source is only part of output: do not colorize."
        return False

def short_title(self):
        "Customize EditorWindow title."
        return "Output"

def maybesave(self):
        "Customize EditorWindow to not display save file messagebox."
        return 'yes' if self.get_saved() else 'no'

# Act as output file
    def write(self, s, tags=(), mark="insert"):
        """Write text to text widget.

The text is inserted at the given index with the provided
        tags.  The text widget is then scrolled to make it visible
        and updated to display it, giving the effect of seeing each
        line as it is added.

Args:
            s: Text to insert into text widget.
            tags: Tuple of tag strings to apply on the insert.
            mark: Index for the insert.

Return:
            Length of text inserted.
        """
        assert isinstance(s, str)
        self.text.insert(mark, s, tags)
        self.text.see(mark)
        self.text.update()
        return len(s)

def writelines(self, lines):
        "Write each item in lines iterable."
        for line in lines:
            self.write(line)

def flush(self):
        "No flushing needed as write() directly writes to widget."
        pass

def showerror(self, *args, **kwargs):
        messagebox.showerror(*args, **kwargs)

def goto_file_line(self, event=None):
        """Handle request to open file/line.

If the selected or previous line in the output window
        contains a file name and line number, then open that file
        name in a new window and position on the line number.

Otherwise, display an error messagebox.
        """
        line = self.text.get("insert linestart", "insert lineend")
        result = file_line_helper(line)
        if not result:
            # Try the previous line.  This is handy e.g. in tracebacks,
            # where you tend to right-click on the displayed source line
            line = self.text.get("insert -1line linestart",
                                 "insert -1line lineend")
            result = file_line_helper(line)
            if not result:
                self.showerror(
                    "No special line",
                    "The line you point at doesn't look like "
                    "a valid file name followed by a line number.",
                    parent=self.text)
                return
        filename, lineno = result
        self.flist.gotofileline(filename, lineno)

# These classes are currently not used but might come in handy
class OnDemandOutputWindow:

tagdefs = {
        # XXX Should use IdlePrefs.ColorPrefs
        "stdout":  {"foreground": "blue"},
        "stderr":  {"foreground": "#007700"},
    }

def __init__(self, flist):
        self.flist = flist
        self.owin = None

def write(self, s, tags, mark):
        if not self.owin:
            self.setup()
        self.owin.write(s, tags, mark)

def setup(self):
        self.owin = owin = OutputWindow(self.flist)
        text = owin.text
        for tag, cnf in self.tagdefs.items():
            if cnf:
                text.tag_configure(tag, **cnf)
        text.tag_raise('sel')
        self.write = self.owin.write

if __name__ == '__main__':
    from unittest import main
    main('idlelib.idle_test.test_outwin', verbosity=2, exit=False)

cmd: