How to change Tilda font size & open URL links

I used to love YaKuake, the "Quake" like drop-down console that you can activate at the touch of a customized button (it's F1 for me). But Yakuake relies on KDE for GUI which makes it look UGLY on Ubuntu's default Gnome desktop manager. Found an GTK alternative aptly named ~ Tilda (I remembered Counterstrike console was triggered by ~)

But Tilda's default font size's really too big. The GTK preference window didn't have any options to choose fonts & size. Mucking around .tilda folder in home directory shows 2 config files


.tilda/config_0
.tilda/config_1


Where there's a config option for font size


font="Monospace 13"


Ah that's why it's so huge! Thought changing it will be a simple act of replacing the "Monospace 13" to "Monospace 10". However after restart Tilda keeps getting to original font string. Doing tilda --help shows there's a -f option. So all I have to do to change the font is execute the following during Gnome startup


tilda -f "Monospace 10"

Update

tilda config files should only be edited with tilda closed. Else it will save the settings that before tilda was edited!

To open URL links, use "CTRL + Left click"