I +1 a mini map like sublime :-) gedit has a buggy plugin that does the same which we could look at for a gtk implementation. I like the idea of it being in a scroll bar to use less space.
I suggest this should be a plugin though. Thanks, Steve
_______________________________________________ Devel mailing list Devel@lists.geany.org https://lists.geany.org/cgi-bin/mailman/listinfo/devel
