4bc8c29c2acf
3742cca46fe5
1 2 3
4
geanynumberedbookmarks is a plugin to provide users with 10 numbered bookmarks (in addition to the usual bookkmarks) WWW: https://plugins.geany.org/geanynumberedbookmarks.html