-
Notifications
You must be signed in to change notification settings - Fork 148
Pull requests: jrfonseca/xdot.py
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
xdot/ui/elements: Bugfix: Check if GTK default settings are Null
#124
by artyom-poptsov
was merged Apr 17, 2024
Loading…
Add shortcut (
ctrl + click
) for jumping to an edge's destination node.
#123
by rrbutani
was merged Apr 7, 2024
Loading…
Delayed reload to avoid errors due to incomplete file
#122
by notEvil
was merged Oct 28, 2023
Loading…
Warn on unavailable fonts, fall back onto GTK default font
#118
by SnoopJ
was merged Aug 1, 2023
Loading…
tolerate re.compile() exception during search
enhancement
#113
by prj-2501
was merged Apr 25, 2023
Loading…
Resolve warnings "PyGTKDeprecationWarning" and "PyGIDeprecationWarning"
#111
by SALAH30
was merged Nov 10, 2022
Loading…
Pressing RET with no search text cancels focus.
#83
by arthurgleckler
was merged Nov 21, 2020
Loading…
Add 'toggle-toolbar' feature and 'hide-toolbar' command line parameter.
#78
by Mome
was merged Jul 11, 2020
Loading…
Previous Next
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.