The following script defines two commands, :LargerFont and :SmallerFont, to allow quick adjustments to the font size used in the gtk2 gui. Change minfontsize and maxfontsize to suit your needs. See below for alternative solutions. To use this script, put the following code into ~/.vim/plugin/gtk2fontsize.vim or in your vimrc.
Graph IRI | Count |
---|---|
http://dbkwik.webdatacommons.org | 21 |