× The internal search function is temporarily non-functional. The current search engine is no longer viable and we are researching alternatives.
As a stop gap measure, we are using Google's custom search engine service.
If you know of an easy to use, open source, search engine ... please contact support@midrange.com.



On Tue, Feb 17, 2015 at 4:48 PM, Kurt Anderson
<Kurt.Anderson@xxxxxxxxxxxx> wrote:
Being told to "trim" every source I open isn't something I'm going
to be happy with.

I wouldn't be happy with it either. And while I agree to an extent
with some of the other folks that "trimming is easy" and thus might
not be the most fruitful thing for the RDi developers to work on;
there is also the other side of the coin, which is that since
"trimming is easy", then in principle, the RDi developers should be
able to put it in quickly, if they were so inclined.

But, the reality is that you're unlikely to get your wish anytime
soon, if ever. So in your shoes, my thought would be to try to work
around it using editor macros and/or hotkeys. By editor macros I mean
there's surely some kind of scripting capability that RDi itself
provides. If that turns out not to be enough, then there are
third-party options like AutoHotkey. With some fiddling and some
programming (but hopefully not as much programming as building your
own Eclipse plug-in), you can probably shoehorn the "open and trim"
functionality into your workflow such that it's no more work than just
a plain "open".

John Y.

As an Amazon Associate we earn from qualifying purchases.

This thread ...

Replies:

Follow On AppleNews
Return to Archive home page | Return to MIDRANGE.COM home page

This mailing list archive is Copyright 1997-2024 by midrange.com and David Gibbs as a compilation work. Use of the archive is restricted to research of a business or technical nature. Any other uses are prohibited. Full details are available on our policy page. If you have questions about this, please contact [javascript protected email address].

Operating expenses for this site are earned using the Amazon Associate program and Google Adsense.