FM / idlelib

/opt/alt/python36/lib64/python3.6/idlelib/

/opt/alt/python36/lib64/python3.6/idlelib

Name	Size	Mode	Actions
Icons/	-	0755	rm
idle_test/	-	0755	rm
__pycache__/	-	0755	rm
autocomplete.py	9324	0644	edit dl rm
autocomplete_w.py	19829	0644	edit dl rm
autoexpand.py	3216	0644	edit dl rm
browser.py	8281	0644	edit dl rm
calltip.py	6067	0644	edit dl rm
calltip_w.py	7111	0644	edit dl rm
ChangeLog	56360	0644	edit dl rm
codecontext.py	10490	0644	edit dl rm
colorizer.py	11275	0644	edit dl rm
config-extensions.def	2266	0644	edit dl rm
config-highlight.def	2687	0644	edit dl rm
config-keys.def	10775	0644	edit dl rm
config-main.def	3128	0644	edit dl rm
config.py	38878	0644	edit dl rm
configdialog.py	101057	0644	edit dl rm
config_key.py	13408	0644	edit dl rm
CREDITS.txt	1866	0644	edit dl rm
debugger.py	19097	0644	edit dl rm
debugger_r.py	12140	0644	edit dl rm
debugobj.py	4055	0644	edit dl rm
debugobj_r.py	1082	0644	edit dl rm
delegator.py	1043	0644	edit dl rm
dynoption.py	2017	0644	edit dl rm
editor.py	67275	0644	edit dl rm
extend.txt	3642	0644	edit dl rm
filelist.py	3896	0644	edit dl rm
grep.py	6742	0644	edit dl rm
help.html	55114	0644	edit dl rm
help.py	11325	0644	edit dl rm
help_about.py	8981	0644	edit dl rm
history.py	4043	0644	edit dl rm
HISTORY.txt	10312	0644	edit dl rm
hyperparser.py	12882	0644	edit dl rm
idle.py	454	0644	edit dl rm
idle.pyw	570	0644	edit dl rm
iomenu.py	20734	0644	edit dl rm
macosx.py	9660	0644	edit dl rm
mainmenu.py	3703	0644	edit dl rm
multicall.py	18648	0644	edit dl rm
NEWS.txt	39839	0644	edit dl rm
NEWS2x.txt	27172	0644	edit dl rm
outwin.py	5808	0644	edit dl rm
paragraph.py	7167	0644	edit dl rm
parenmatch.py	7204	0644	edit dl rm
pathbrowser.py	3193	0644	edit dl rm
percolator.py	3130	0644	edit dl rm
pyparse.py	20118	0644	edit dl rm
pyshell.py	57728	0755	edit dl rm
query.py	12434	0644	edit dl rm
README.txt	9592	0644	edit dl rm
redirector.py	6875	0644	edit dl rm
replace.py	7502	0644	edit dl rm
rpc.py	21137	0644	edit dl rm
rstrip.py	868	0644	edit dl rm
run.py	17272	0644	edit dl rm
runscript.py	7841	0644	edit dl rm
scrolledlist.py	4458	0644	edit dl rm
search.py	3164	0644	edit dl rm
searchbase.py	7451	0644	edit dl rm
searchengine.py	7472	0644	edit dl rm
squeezer.py	13308	0644	edit dl rm
stackviewer.py	4454	0644	edit dl rm
statusbar.py	1441	0644	edit dl rm
textview.py	6121	0644	edit dl rm
TODO.txt	8478	0644	edit dl rm
tooltip.py	6486	0644	edit dl rm
tree.py	15089	0644	edit dl rm
undo.py	11047	0644	edit dl rm
window.py	2588	0644	edit dl rm
zoomheight.py	1340	0644	edit dl rm
zzdummy.py	961	0644	edit dl rm
_pyclbr.py	15199	0644	edit dl rm
__init__.py	396	0644	edit dl rm
__main__.py	159	0644	edit dl rm

Edit: /opt/alt/python36/lib64/python3.6/idlelib/codecontext.py (10490B)

"""codecontext - display the block context above the edit window

Once code has scrolled off the top of a window, it can be difficult to
determine which block you are in.  This extension implements a pane at the top
of each IDLE edit window which provides block structure hints.  These hints are
the lines which contain the block opening keywords, e.g. 'if', for the
enclosing block.  The number of hint lines is determined by the maxlines
variable in the codecontext section of config-extensions.def. Lines which do
not open blocks are not shown in the context hints pane.

"""
import re
from sys import maxsize as INFINITY

import tkinter
from tkinter.constants import TOP, X, SUNKEN

from idlelib.config import idleConf

BLOCKOPENERS = {"class", "def", "elif", "else", "except", "finally", "for",
                "if", "try", "while", "with", "async"}
UPDATEINTERVAL = 100 # millisec
CONFIGUPDATEINTERVAL = 1000 # millisec

def get_spaces_firstword(codeline, c=re.compile(r"^(\s*)(\w*)")):
    "Extract the beginning whitespace and first word from codeline."
    return c.match(codeline).groups()

def get_line_info(codeline):
    """Return tuple of (line indent value, codeline, block start keyword).

The indentation of empty lines (or comment lines) is INFINITY.
    If the line does not start a block, the keyword value is False.
    """
    spaces, firstword = get_spaces_firstword(codeline)
    indent = len(spaces)
    if len(codeline) == indent or codeline[indent] == '#':
        indent = INFINITY
    opener = firstword in BLOCKOPENERS and firstword
    return indent, codeline, opener

class CodeContext:
    "Display block context above the edit window."

def __init__(self, editwin):
        """Initialize settings for context block.

editwin is the Editor window for the context block.
        self.text is the editor window text widget.
        self.textfont is the editor window font.

self.context displays the code context text above the editor text.
          Initially None, it is toggled via <<toggle-code-context>>.
        self.topvisible is the number of the top text line displayed.
        self.info is a list of (line number, indent level, line text,
          block keyword) tuples for the block structure above topvisible.
          self.info[0] is initialized with a 'dummy' line which
          starts the toplevel 'block' of the module.

self.t1 and self.t2 are two timer events on the editor text widget to
          monitor for changes to the context text or editor font.
        """
        self.editwin = editwin
        self.text = editwin.text
        self.textfont = self.text["font"]
        self.contextcolors = CodeContext.colors
        self.context = None
        self.topvisible = 1
        self.info = [(0, -1, "", False)]
        # Start two update cycles, one for context lines, one for font changes.
        self.t1 = self.text.after(UPDATEINTERVAL, self.timer_event)
        self.t2 = self.text.after(CONFIGUPDATEINTERVAL, self.config_timer_event)

@classmethod
    def reload(cls):
        "Load class variables from config."
        cls.context_depth = idleConf.GetOption("extensions", "CodeContext",
                                       "maxlines", type="int", default=15)
        cls.colors = idleConf.GetHighlight(idleConf.CurrentTheme(), 'context')

def __del__(self):
        "Cancel scheduled events."
        try:
            self.text.after_cancel(self.t1)
            self.text.after_cancel(self.t2)
        except:
            pass

def toggle_code_context_event(self, event=None):
        """Toggle code context display.

If self.context doesn't exist, create it to match the size of the editor
        window text (toggle on).  If it does exist, destroy it (toggle off).
        Return 'break' to complete the processing of the binding.
        """
        if not self.context:
            # Calculate the border width and horizontal padding required to
            # align the context with the text in the main Text widget.
            #
            # All values are passed through getint(), since some
            # values may be pixel objects, which can't simply be added to ints.
            widgets = self.editwin.text, self.editwin.text_frame
            # Calculate the required horizontal padding and border width.
            padx = 0
            border = 0
            for widget in widgets:
                padx += widget.tk.getint(widget.pack_info()['padx'])
                padx += widget.tk.getint(widget.cget('padx'))
                border += widget.tk.getint(widget.cget('border'))
            self.context = tkinter.Text(
                    self.editwin.top, font=self.textfont,
                    bg=self.contextcolors['background'],
                    fg=self.contextcolors['foreground'],
                    height=1,
                    width=1,  # Don't request more than we get.
                    padx=padx, border=border, relief=SUNKEN, state='disabled')
            self.context.bind('<ButtonRelease-1>', self.jumptoline)
            # Pack the context widget before and above the text_frame widget,
            # thus ensuring that it will appear directly above text_frame.
            self.context.pack(side=TOP, fill=X, expand=False,
                            before=self.editwin.text_frame)
        else:
            self.context.destroy()
            self.context = None
        return "break"

def get_context(self, new_topvisible, stopline=1, stopindent=0):
        """Return a list of block line tuples and the 'last' indent.

The tuple fields are (linenum, indent, text, opener).
        The list represents header lines from new_topvisible back to
        stopline with successively shorter indents > stopindent.
        The list is returned ordered by line number.
        Last indent returned is the smallest indent observed.
        """
        assert stopline > 0
        lines = []
        # The indentation level we are currently in.
        lastindent = INFINITY
        # For a line to be interesting, it must begin with a block opening
        # keyword, and have less indentation than lastindent.
        for linenum in range(new_topvisible, stopline-1, -1):
            codeline = self.text.get(f'{linenum}.0', f'{linenum}.end')
            indent, text, opener = get_line_info(codeline)
            if indent < lastindent:
                lastindent = indent
                if opener in ("else", "elif"):
                    # Also show the if statement.
                    lastindent += 1
                if opener and linenum < new_topvisible and indent >= stopindent:
                    lines.append((linenum, indent, text, opener))
                if lastindent <= stopindent:
                    break
        lines.reverse()
        return lines, lastindent

def update_code_context(self):
        """Update context information and lines visible in the context pane.

No update is done if the text hasn't been scrolled.  If the text
        was scrolled, the lines that should be shown in the context will
        be retrieved and the context area will be updated with the code,
        up to the number of maxlines.
        """
        new_topvisible = int(self.text.index("@0,0").split('.')[0])
        if self.topvisible == new_topvisible:      # Haven't scrolled.
            return
        if self.topvisible < new_topvisible:       # Scroll down.
            lines, lastindent = self.get_context(new_topvisible,
                                                 self.topvisible)
            # Retain only context info applicable to the region
            # between topvisible and new_topvisible.
            while self.info[-1][1] >= lastindent:
                del self.info[-1]
        else:  # self.topvisible > new_topvisible: # Scroll up.
            stopindent = self.info[-1][1] + 1
            # Retain only context info associated
            # with lines above new_topvisible.
            while self.info[-1][0] >= new_topvisible:
                stopindent = self.info[-1][1]
                del self.info[-1]
            lines, lastindent = self.get_context(new_topvisible,
                                                 self.info[-1][0]+1,
                                                 stopindent)
        self.info.extend(lines)
        self.topvisible = new_topvisible
        # Last context_depth context lines.
        context_strings = [x[2] for x in self.info[-self.context_depth:]]
        showfirst = 0 if context_strings[0] else 1
        # Update widget.
        self.context['height'] = len(context_strings) - showfirst
        self.context['state'] = 'normal'
        self.context.delete('1.0', 'end')
        self.context.insert('end', '\n'.join(context_strings[showfirst:]))
        self.context['state'] = 'disabled'

def jumptoline(self, event=None):
        "Show clicked context line at top of editor."
        lines = len(self.info)
        if lines == 1:  # No context lines are showing.
            newtop = 1
        else:
            # Line number clicked.
            contextline = int(float(self.context.index('insert')))
            # Lines not displayed due to maxlines.
            offset = max(1, lines - self.context_depth) - 1
            newtop = self.info[offset + contextline][0]
        self.text.yview(f'{newtop}.0')
        self.update_code_context()

def timer_event(self):
        "Event on editor text widget triggered every UPDATEINTERVAL ms."
        if self.context:
            self.update_code_context()
        self.t1 = self.text.after(UPDATEINTERVAL, self.timer_event)

def config_timer_event(self):
        "Event on editor text widget triggered every CONFIGUPDATEINTERVAL ms."
        newtextfont = self.text["font"]
        if (self.context and (newtextfont != self.textfont or
                            CodeContext.colors != self.contextcolors)):
            self.textfont = newtextfont
            self.contextcolors = CodeContext.colors
            self.context["font"] = self.textfont
            self.context['background'] = self.contextcolors['background']
            self.context['foreground'] = self.contextcolors['foreground']
        self.t2 = self.text.after(CONFIGUPDATEINTERVAL, self.config_timer_event)

CodeContext.reload()

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

# Add htest.

cmd: