[plugin]

name="WPGTKEditorTheme"
description="A plugin that changes the editor's colors to match WPGTK colors."
author="Bellsworne Tech"
version="1.0"
script="wpgtk_theme.gd"