Skip to content
GitLab
Explore
Sign in
GNOME
gedit-plugins
Forks
12 forks: 12 public, 0 internal, and 0 private
Created date
Arjun Suresh /
gedit-plugins
bookmarks: adapt to latest GtkSourceStyle API
0
Updated
Dec 24, 2023
0
0
0
0
Updated
Dec 24, 2023
FeRD (Frank Dana) /
gedit-plugins
Update some URLs wiki.gnome.org -> something else
0
Updated
Nov 20, 2023
0
0
0
Updated
Nov 20, 2023
Matt Turner /
gedit-plugins
Update Chinese (China) translation
0
Updated
Apr 26, 2023
0
0
0
Updated
Apr 26, 2023
Jan Beich /
gedit-plugins
Update Russian translation
0
Updated
Feb 15, 2022
0
0
0
Updated
Feb 15, 2022
Michal Vasilek /
gedit-plugins
Update Russian translation
0
Updated
Jan 23, 2022
0
0
0
Updated
Jan 23, 2022
Ronald Sanderson /
gedit-plugins
Update Chinese (China) translation
0
Updated
Aug 06, 2021
0
0
0
Updated
Aug 06, 2021
İsmail Arılık /
gedit-plugins
Update Chinese (China) translation
1
Updated
Jul 10, 2021
1
0
0
Updated
Jul 10, 2021
Random User /
gedit-plugins
rewrite synctex plugin
0
Updated
May 08, 2021
0
0
0
Updated
May 08, 2021
scootergrisen /
gedit-plugins
Update Ukrainian translation
0
Updated
May 26, 2020
0
0
0
Updated
May 26, 2020
André /
gedit-plugins
Release 3.36.0
0
Updated
Mar 10, 2020
0
0
0
Updated
Mar 10, 2020
Gennady Zlobin /
gedit-plugins
Update build instruccions
0
Updated
Jun 01, 2019
0
0
0
Updated
Jun 01, 2019
Maoschanz /
gedit-plugins
Replace terminal.py
0
Updated
Aug 29, 2018
0
0
0
Updated
Aug 29, 2018