Messages - RobFreundlich [ switch to compact view ]

Pages: [1] 2 3 4 5next
Find And Run Robot / Request: Customization of Options Dialog font
« on: December 04, 2017, 09:13 AM »
I know this would be a large undertaking, but would it be possible to implement customization of the Options Dialog font face and size? To put it bluntly, my eyes suck, and being able to pick a larger size (and possibly a different face) for the options/settings dialogs in other applications has made a huge difference for me.

Find And Run Robot / Re: FaRR not closing after launch
« on: December 04, 2017, 07:39 AM »
I'm pretty sure I bounced it a few times before posting, but this weekend I bounced it for sure (I was trying, unsuccessfully :(, to point my home copy and my work copy at the same myaliases.alias file via DropBox), and the problem went away.


Find And Run Robot / Change default styles of HTML View Mode?
« on: November 30, 2017, 03:28 PM »
I've just discovered the HTML View Mode feature, and I love it - I'm going to set up cheat sheets for various things like commands and IDE's and so on. One question - is there a way to modify the default styles? The text is on the small side, and I'd like to make it larger. If there's a stylesheet I can change or override, that'd be great.


FARR Plugins and Aliases / Re: FARR plugin: FarrWebMetaSearch 1.6.0
« on: November 28, 2017, 08:05 AM »
Download links are broken, and for whatever reason this was quite difficult to find(even though I found it in an obvious place). Smells of the sort of thing that Google has shunned..

The link above should work forever unless explicitly removed or nuclear holocaust.

I've also attached the file.

Thanks for the download link! Unfortunately, all of the configs seem to be terribly out of date - no matter what I try, I get either no results or a neverending search. I wonder if this could be redone to use API's instead of scraping the sites so it could be more resilient.

Find And Run Robot / Re: FaRR not closing after launch
« on: November 28, 2017, 07:42 AM »
I'm having this same problem, without the Timezone plugin. In fact, I disabled all of my plugins, and it made no difference. I've checked all of my settings, and they're all set to close on launch.

Pages: [1] 2 3 4 5next
Go to full version