yep. no easy way (via "settings") to change the font and my old eyes need the default font size bumped a few times. I did the tutorial which is excellent and go

yep. no easy way (via "settings") to change the font and my old eyes need the default font size bumped a few times. I did the tutorial which is excellent and got me up to speed quickly! no way to search for a file, at least I didn't see it in the docs. there is a plugin for "fuzzy" search within a folder but not the entire drive. it's a great little utility but isn't done cooking and the $18 ask is a bit much as it is now IMHO.