Last February during the Zeitgeist hackfest my former GSoC student Michal Hruby convinced me to hack a dash for gedit (it was for gedit 2 sadly) that looked like this…
Today based on the mockups of my previous post i rewrote it to work with the latest gedit. Its 90% working now but I am not sure about the usability to be honest, thus i need more info on how people use gedit. Right now the code is almost done and I am torn between the following 2 designs (these are actual images of my running gedit)…
If you have better suggestions please tell me! I am developing this as a plugin so everybody will be able to test it. I will upload the code soon…
