GitLocker: The Coding Marketplace

Description:

idletypecheck 1.0.1

IdleTypeCheck
Python IDLE extension to perform mypy analysis on an open file

Notice
This project is superseded by my other IDLE extension,
IdleMypyExtension, which
uses the mypy daemon instead and has many more features.
What does this extension do?
This IDLE extension hooks into mypy to type check the currently
open file. When type checking the currently open file with the
"Type Check File" command, it will add comments to your code wherever
mypy had something to say about about that line. You can remove type
comments from the currently selected text with the "Remove Type Comments"
command.
Additionally, you can jump to the next comment this extension created in
your file with the "Find Next Type Comment" command.
Note: On use, creates folder mypy within the idle user directory.
On Linux systems, this is usually ~/.idlerc/mypy.
Installation (Without root permissions)

Go to terminal and install with pip install idletypecheck[user].
Run command idleuserextend; idletypecheck. You should see the following
output: Config should be good! Config should be good!.
Open IDLE, go to Options -> Configure IDLE -> Extensions.
If everything went well, alongside ZzDummy there should be and
option called idletypecheck. This is where you can configure how
idletypecheck works.

Installation (Legacy, needs root permission)

Go to terminal and install with pip install idletypecheck.
Run command idletypecheck. You will likely see a message saying
typecheck not in system registered extensions!. Run the command
given to add lintcheck to your system's IDLE extension config file.
Again run command typecheck. This time, you should see the following
output: Config should be good!.
Open IDLE, go to Options -> Configure IDLE -> Extensions.
If everything went well, alongside ZzDummy there should be and
option called idletypecheck. This is where you can configure how
idletypecheck works.

Information on options
For extra_args, see mypy --help for a list of valid flags.
This extension sets the following flags to be able to work properly:
--hide-error-context
--no-color-output
--show-absolute-path
--no-error-summary
--soft-error-limit=-1
--show-traceback
--cache-dir="~/.idlerc/mypy"

If you add the --show-column-numbers flag to extra_args, when using the
"Type Check File" command, it will add a helpful little ^ sign
in a new line below the location of the mypy message that provided a column
number, as long as that comment wouldn't break your file's indentation too much.
If you add the --show-error-codes flag to extra_args, when using the
"Type Check File" command, when it puts mypy's comments in your code, it will
tell you what type of error that comment is. For example, it would change the
error comment
# typecheck: error: Incompatible types in assignment (expression has type "str", variable has type "int")

to
# typecheck: assignment error: Incompatible types in assignment (expression has type "str", variable has type "int")

search_wrap toggles weather searching for next type comment will wrap
around or not.