These new names will foul up any key bindings you have for these,
sorry, but I think they're better now.

On Mon, 3 Oct 2011 23:25:46 -0500
"Edward K. Ream" <[email protected]> wrote:

> Yes, a common prefix is often best.  Feel free to make the change...

vr -> vr
viewrendered -> viewrendered
close-rendering-pane -> viewrendered-close
hide-rendering-pane -> viewrendered-hide
lock-unlock-rendering-pane -> viewrendered-lock-toggle
pause-play-movie -> viewrendered-pause-play
show-rendering-pane -> viewrendered-show
toggle-rendering-pane -> viewrendered-show-toggle
update-rendering-pane -> viewrendered-update  

Cheers -Terry

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

Reply via email to