I thought of other prefixes, 'printing-' imposes a keystroke penalty,
I would be ok with 'prn-' but I think that went away with dos
'lp' is another reference to a printer, but that goes way way back ...

On Wed, May 15, 2013 at 9:28 PM, gatesphere <[email protected]> wrote:
> On 5/15/2013 9:35 PM, Terry Brown wrote:
>>
>> On Wed, 15 May 2013 16:03:47 -0700
>> Matt Wilkie <[email protected]> wrote:
>>
>>> Hi Kent,
>>>
>>> I agree with the principle, that command completion is aided by good
>>> quality names, but I don't understand why you think "print-xxx" as a
>>> command to send something to a printer is not standard. Can you
>>> elaborate?
>>
>> I think Kent meant the older commands
>>
>>    print-all-uas
>>    print-bindings
>>    print-buttons
>>    print-commands
>>    print-focus
>>    print-node-uas
>>    print-plugin-handlers
>>    print-plugins-info
>>    print-settings
>>
>> would be better named list- or show-, so as no to intermingle with the
>> new print-(to the printer) commands.
>>
>> Cheers -Terry
>
> As a concession, I could rename all of my print- commands to printing- (name
> of the plugin) or printer- , but I generally agree that the older ones would
> make more sense now as list- or display-. I can definitely see why they were
> named print- previously, as print has a connotation among programmers to
> mean "to the screen" rather than "to the printer".  I'd rather not rename my
> print- commands, though... they're already pretty long, and just descriptive
> enough, I think.
>
> -->Jake
>
>
> --
> You received this message because you are subscribed to the Google Groups
> "leo-editor" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to [email protected].
> To post to this group, send email to [email protected].
> Visit this group at http://groups.google.com/group/leo-editor?hl=en-US.
> For more options, visit https://groups.google.com/groups/opt_out.
>
>

-- 
You received this message because you are subscribed to the Google Groups 
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/leo-editor?hl=en-US.
For more options, visit https://groups.google.com/groups/opt_out.


Reply via email to