On Sat, 24 May 2014 16:31:11 -0700 (PDT)
Chris George <technat...@gmail.com> wrote:
> I was thinking a little more about this. Would it not make sense to
> split off all of the functions that do not require the context into
> their own gui? For example, everything below zoom pane could be on
> the main menu as a settings item. Zoom pane itself should be part of
> the context menu for the pane it is invoked from instead of applying
> to the pane to the right of the splitter menu. I see now why some
> items need the context, but many of the items on the menu do not.
>
> What do you think?
I think you're probably right, have made a note.
Cheers -Terry
> Chris
>
> On Saturday, May 24, 2014 11:25:35 AM UTC-7, Terry wrote:
> >
> > On Sat, 24 May 2014 10:22:00 -0700 (PDT)
> > Chris George <techn...@gmail.com <javascript:>> wrote:
> >
> > > Thanks Terry,
> > >
> > > Is there a way to increase the thickness of the clickable border?
> >
> > myLeoSettings.leo
> > @settings
> > @data qt-gui-user-style-sheet
> >
> > QSplitter::handle:horizontal {
> > width: 20px;
> > }
> >
> > QSplitter::handle:vertical {
> > height: 20px;
> > }
> >
> > Seems you shouldn't need the ::handle part but it was inconsistent
> > when I took that out.
> >
> > Cheers -Terry
> >
> > > Chris
> > >
> > > On Saturday, May 24, 2014 9:53:17 AM UTC-7, Terry wrote:
> > > >
> > > > On Sat, 24 May 2014 11:37:20 -0500
> > > > "'Terry Brown' via leo-editor" <leo-e...@googlegroups.com
> > > > <javascript:>> wrote:
> > > >
> > > > > Just because it's easy, I'm going to add a
> > > > >
> > > > > free-layout-context-menu
> > > > >
> > > > > command to open the free layout context menu using the first
> > > > > border in the top level splitter as the context, that will at
> > > > > least give keyboard access to the menu for commands which
> > > > > don't require selecting a border for context.
> > > >
> > > > Pushed.
> > > >
> > > > Cheers -Terry
> > > >
> > >
> >
>
--
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 leo-editor+unsubscr...@googlegroups.com.
To post to this group, send email to leo-editor@googlegroups.com.
Visit this group at http://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.
