A source code editor widget for GTK+