Search results

Add __slots__ to Suggestion and Completion to improve memory usage

Status: Closed (abandoned).

prompt-toolkit/python-prompt-toolkitnumber 803

#803 In prompt-toolkit/python-prompt-toolkit;

· by orf was closed on Dec 13, 2020

A few bug fixes for patch_stdout.

Status: Merged (completed).

prompt-toolkit/python-prompt-toolkitnumber 990

#990 In prompt-toolkit/python-prompt-toolkit;

· by jonathanslenders was closed on Oct 28, 2019

Add dictionary search in RadioList

Status: Merged (completed).

prompt-toolkit/python-prompt-toolkitnumber 627

#627 In prompt-toolkit/python-prompt-toolkit;

· by gpotter2 was closed on Jun 19, 2018

Add dictionary search in RadioList

Status: Closed (abandoned).

prompt-toolkit/python-prompt-toolkitnumber 620

#620 In prompt-toolkit/python-prompt-toolkit;

· by gpotter2 was closed on Jun 2, 2018

search: fix direction of incremental search

Status: Merged (completed).

prompt-toolkit/python-prompt-toolkitnumber 605

#605 In prompt-toolkit/python-prompt-toolkit;

· by simobasso was closed on Mar 22, 2018

Print warning when Pygments lexer swallows characters.

Status: Closed (abandoned).

prompt-toolkit/python-prompt-toolkitnumber 659

#659 In prompt-toolkit/python-prompt-toolkit;

· by zzl0 was closed on Jan 6, 2019

Making more pygments lexers imports explicit

Status: Merged (completed).

prompt-toolkit/python-prompt-toolkitnumber 683

#683 In prompt-toolkit/python-prompt-toolkit;

· by tsvenson was closed on Jul 15, 2018

Some docs fixes

Status: Merged (completed).

prompt-toolkit/python-prompt-toolkitnumber 662

#662 In prompt-toolkit/python-prompt-toolkit;

· by techtonik was closed on Jul 10, 2018

Fixed typo in docs in an example color name

Status: Merged (completed).

prompt-toolkit/python-prompt-toolkitnumber 590

#590 In prompt-toolkit/python-prompt-toolkit;

· by Zvezdin was closed on Feb 14, 2018

CI: use setup.cfg, -U and inline commands

Status: Merged (completed).

prompt-toolkit/python-prompt-toolkitnumber 669

#669 In prompt-toolkit/python-prompt-toolkit;

· by decentral1se was closed on Jul 11, 2018

10 ** 10 is long in python 2

Status: Merged (completed).

prompt-toolkit/python-prompt-toolkitnumber 635

#635 In prompt-toolkit/python-prompt-toolkit;

· by randy3k was closed on Jun 7, 2018

need to refresh ui after resetting completion state

Status: Merged (completed).

prompt-toolkit/python-prompt-toolkitnumber 612

#612 In prompt-toolkit/python-prompt-toolkit;

· by randy3k was closed on May 1, 2018