Skip to content
GitLab
Explore
Sign in
GNOME
gedit
Repository
gedit
plugins
externaltools
tools
manager.py
Find file
Blame
History
Permalink
externaltools: use Gdk.CURRENT_TIME
· c587d9ad
Ignacio Casal Quinteiro
authored
Dec 25, 2011
c587d9ad