How have I never stumbled across Geany? Much better than gedit, since all the useful features are built-in instead of poorly integrated 3rd-party extensions. Thanks!