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.