The great and fun gedit crew have accepted my proposal to include the Dashboard into their plugins repository.
Now you will find it under:
git clone git://git.gnome.org/gedit-plugins
We removed some dependencies and relied on GNOME common tools. We will continue fixing minor issues with the plugin as well as fixing some gedit bugs (the gedit crew is pretty motivating)
Feel free to ping me (with technical issues) or Hylke (with usability issues) if something is bugging you or you have any suggestions.
I will leave you with a small video and hope you like it and some screenies:
-
-