Skip to content

Issues

    LabelsMilestonesNew issue

    Search results

    Open
    Closed

    • Widgets: allow customization of button arrows

      Status: Merged (completed).
      prompt-toolkit/python-prompt-toolkitnumber 1290
      #1290 In prompt-toolkit/python-prompt-toolkit;
      · by stsewd was closed on Jan 8, 2021

    • Update docstring

      Status: Merged (completed).
      prompt-toolkit/python-prompt-toolkitnumber 1288
      #1288 In prompt-toolkit/python-prompt-toolkit;
      · by stsewd was closed on Dec 3, 2020

    • Keys: add space to enum

      Status: Open (in progress).
      prompt-toolkit/python-prompt-toolkitnumber 1287
      #1287 In prompt-toolkit/python-prompt-toolkit;
      · stsewd opened on Nov 22, 2020