From: Ken H. <kh...@so...> - 2004-01-15 03:24:05
|
> >> gtksourceview already has all this - we just need a nice python >> wrapper >> for it. One has been started, but it not up to date with >> gtksourceview >> now. > > Yep, that would be the best option (possibly for a separate editor > though; > we don't want to make Edit hard to install!). Seconded! Edit should remain Edit. |