Skip to content

Pull requests: rawpython/remi

Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

fix and format by ruff
#529 opened Dec 27, 2023 by YoshitakaNaraoka Loading…
Update gui.py
#519 opened Jun 30, 2023 by Sibert Loading…
Python3.6 trio asynchronous version of server ...
#335 opened Sep 1, 2019 by kostyll Loading…
Update gui.py
#319 opened Jun 20, 2019 by cetus1 Loading…
deactivate and hide widgets
#315 opened Jun 9, 2019 by cetus1 Loading…
Update gui.py
#218 opened Apr 17, 2018 by saddy001 Loading…
Adding more custom dialogs: Error dialog
#203 opened Nov 29, 2017 by int-0 Loading…
Https and SIGINT handling
#201 opened Nov 12, 2017 by tetofonta Loading…
C9
#200 opened Nov 11, 2017 by dirkcgrunwald Loading…
ProTip! Filter pull requests by the default branch with base:master.