Re: LSP for leo??

2017-05-09 Thread Edward K. Ream 
​​
On Tue, May 9, 2017 at 5:24 PM, Edward K. Ream  wrote:

More than interesting.  Look at the videos at the end of the palantir page
> .
>

​I've made a careful study of the palantir sources. They are simpler than
expected, but I'm not sure what that implies ;-) In particular,
workspace.py contains two classes: Workspace and Document. These would need
to adapt to Leo's outline structure. In addition, all options should come
from Leo, not config files.

The LSP specs

are complex, but maybe that doesn't matter.

Installation issues will be important. Palantir uses Jedi
, pycodestyle
, Pyflakes
 and YAPF
.
 So it looks like putting the code in an optional plugin would be a good
idea.

This would be a major project, but maybe not as big as the curses gui.

Edward

-- 
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 https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Re: LSP for leo??

2017-05-09 Thread Edward K. Ream 


On Tuesday, May 9, 2017 at 2:33:02 PM UTC-5, Edward K. Ream wrote:
>
> On Tue, May 9, 2017 at 1:06 PM, Eric S. Johansson  
> wrote:
>
> LSP looks interesting and like it will be the core toolkit many editors 
>> (including vim and emacs) will use for language sensitive editing. would 
>> this help leo? 
>>
>
> ​From the wikipedia article it appears that LSP works on Linux as well as 
> Windows.  So yes, this seems like an interesting new tool.
>

More than interesting.  Look at the videos at the end of the palantir page 
. 

Edward

-- 
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 https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Re: Unexected difficulties "remembering" toggle-split-direction

2017-05-09 Thread Edward K. Ream 
On Tue, May 9, 2017 at 2:30 PM, Terry Brown  wrote:

​...​
> I wonder if we should
> ​ ​
> be thinking about obsoleting these settings (and the split ratio one,
> ​ ​
> too).  As long as it works, and it already exists in free_layout, it
> ​ ​
> seems the "arrange the panes how you want and save the layout" approach
> ​ ​
> ​is simpler for all concerned.
>

​I agree.  This seems like the best idea.​


Toggle split direction should (if it doesn't already) just call
> free_layouts rotate all function.
>

​That's exactly what it does:

@cmd('toggle-split-direction')
def toggleSplitDirection(self, event=None):
'''Toggle the split direction in the present Leo window.'''
if hasattr(self.c, 'free_layout'):
self.c.free_layout.get_top_splitter().rotate()
​


> Which, appropriately, has been relabeled "toggle split direction" in
> the pane layout menu.
>

​So it looks like we have a plan.  When docks work we can get rid of
several settings.  Until then, we can do nothing.

Edward

-- 
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 https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Re: LSP for leo??

2017-05-09 Thread Edward K. Ream 
On Tue, May 9, 2017 at 1:06 PM, Eric S. Johansson 
wrote:

LSP looks interesting and like it will be the core toolkit many editors
> (including vim and emacs) will use for language sensitive editing. would
> this help leo?
>

​From the wikipedia article it appears that LSP works on Linux as well as
Windows.  So yes, this seems like an interesting new tool.  Thanks for the
link.

Edward

-- 
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 https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Re: Unexected difficulties "remembering" toggle-split-direction

2017-05-09 Thread Terry Brown 
On Tue, 9 May 2017 12:21:30 -0700 (PDT)
"Edward K. Ream"  wrote:

> On Tuesday, May 9, 2017 at 2:09:25 PM UTC-5, Edward K. Ream wrote:
> 
> > I have just updated #483: Remember toggle-split-direction 
> . I want to
> repeat the discussion here, so as to reach the widest audience.
> ...
> > Imo, the simplest and best approach is to do nothing. If you want
> > Leo to 
> "remember" your preferred orientation, then use the @string 
> initial_split_orientation. You can put this in individual files or,
> more likely, myLeoSettings.leo.
> 
> Hmm. The first time a user chooses toggle-split-direction, Leo could
> put up a dialog tell the user about @string initial_split_orientation.
> 
> A dialog might be the only way to mitigate the unavoidable possible 
> confusion. Otoh, the dialog might quickly become intrusive...

Ignoring the indefinite :-/ timeline for QtDocks, I wonder if we should
be thinking about obsoleting these settings (and the split ratio one,
too).  As long as it works, and it already exists in free_layout, it
seems the "arrange the panes how you want and save the layout" approach
is simpler for all concerned.

Toggle split direction should (if it doesn't already) just call
free_layouts rotate all function.

Which, appropriately, has been relabeled "toggle split direction" in
the pane layout menu.

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 https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Re: Unexected difficulties "remembering" toggle-split-direction

2017-05-09 Thread Edward K. Ream 
On Tue, May 9, 2017 at 2:22 PM, Terry Brown  wrote:

​> ​
> Imo, the simplest and best approach is to do nothing.
​...​

​> ​
Implementation wise this will all need revisiting for the QtDocks
​ ​
interface
​.​

All the more reason to do nothing now.  In fact, I'll reject this proposal
unless Kent changes my mind :-)

Edward

-- 
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 https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Re: Unexected difficulties "remembering" toggle-split-direction

2017-05-09 Thread Terry Brown 
On Tue, 9 May 2017 12:09:25 -0700 (PDT)
"Edward K. Ream"  wrote:

> I have just updated #483: Remember toggle-split-direction 
> . I want to
> repeat the discussion here, so as to reach the widest audience.
 
[snip]

> Imo, the simplest and best approach is to do nothing. If you want Leo
> to "remember" your preferred orientation, then use the @string 
> initial_split_orientation.  You can put this in individual files or,
> more likely, myLeoSettings.leo.

Implementation wise this will all need revisiting for the QtDocks
interface - I haven't attempted the persistence part of that system
yet.  As an aside, there may be some issues with QtDocks being more
fully implemented in Qt 5 than in Qt 4, but will deal with that as it
arises.

I think the current system is challenged by the fact that free_layout
may or may not be remembering the layout for a particular .leo file -
if it appears @settings aren't being honored, try just arranging the
panes they way you want, then doing

Window -> Layout -> Free Layout Plugin -> Pane Management Menu

and selecting the Save Layout option.

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 https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Re: Unexected difficulties "remembering" toggle-split-direction

2017-05-09 Thread Edward K. Ream 
On Tuesday, May 9, 2017 at 2:09:25 PM UTC-5, Edward K. Ream wrote:

> I have just updated #483: Remember toggle-split-direction 
. I want to repeat the 
discussion here, so as to reach the widest audience.
...
> Imo, the simplest and best approach is to do nothing. If you want Leo to 
"remember" your preferred orientation, then use the @string 
initial_split_orientation. You can put this in individual files or, more 
likely, myLeoSettings.leo.

Hmm. The first time a user chooses toggle-split-direction, Leo could put up 
a dialog tell the user about @string initial_split_orientation.

A dialog might be the only way to mitigate the unavoidable possible 
confusion. Otoh, the dialog might quickly become intrusive...

What say you?

Edward

-- 
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 https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Unexected difficulties "remembering" toggle-split-direction

2017-05-09 Thread Edward K. Ream 
I have just updated #483: Remember toggle-split-direction 
. I want to repeat the 
discussion here, so as to reach the widest audience.

The enhancement asks that Leo restore the proper split direction when 
reloading the file. Alas, this is an unexpectedly tricky request. We 
discussed this at the Ashland meeting without considering the consequences.

There are two competing "natural" ways to specify the split direction:

   - The existing setting: @string initial_split_orientation = vertical
   - A *new* xml element, say , in the .leo file.

The problem is, *what should take precedence if both exist?* Either way 
*will* lead to confusion. If the *setting* takes precedence, then Leo won't 
seem to remember toggle-split-direction. If the setting *doesn't* take 
precedence, then Leo won't seem to honor local settings!


The "heroic" solution would be for the toggle-split-direction command to 
change the initial_split_direction setting, *provided* such a setting 
exists in the *local *.leo file. Otherwise, the command would change a new 
element in the .leo file. But this design is too complex.


Imo, the simplest and best approach is to do nothing. If you want Leo to 
"remember" your preferred orientation, then use the @string 
initial_split_orientation.  You can put this in individual files or, more 
likely, myLeoSettings.leo.


Your comments, please.


Edward

-- 
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 https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

LSP for leo??

2017-05-09 Thread Eric S. Johansson 
http://langserver.org/

>From the official Language Server Protocol specification 
:

The Language Server protocol is used between a tool (the client) and a 
language smartness provider (the server) to integrate features like auto 
complete, go to definition, find all references and alike into the tool

The LSP was created by Microsoft to define a common language for 
programming language analyzers to speak. Today, several companies have come 
together to support its growth, including Codenvy, Red Hat, and 
Sourcegraph, and the protocol is becoming supported by a rapidly growing 
list of editor and language communities. See below for details on and links 
to current client and server implementations.

-

LSP looks interesting and like it will be the core toolkit many editors 
(including vim and emacs) will use for language sensitive editing. would 
this help leo? 

-- 
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 https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Re: The Ashland enhancements are next

2017-05-09 Thread Edward K. Ream 
On Tuesday, May 9, 2017 at 8:05:51 AM UTC-5, Edward K. Ream wrote:
>
> I've added an Ashland label for all enhancements discussed in Ashland a 
> few weeks ago.  See them here 
> 
> .
>

 Rev f9854e8 completes #484: Improve menus 
. This makes a 
surprisingly big difference.

Edward

-- 
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 https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Re: #480: GitHub pages now hosts a *copy* of Leo's web site

2017-05-09 Thread Edward K. Ream 
On Tue, May 9, 2017 at 8:54 AM, Terry Brown  wrote:

> I'm wondering whether GitHub will work with pages like Leo's original
> > viewer page
> ​ ​
> or Joe Orr's more
> ​ ​
> recent Leo viewer page
>


> I can't see why not, you can certainly run javascript apps on GitHub
> pages:
>

​Good. I just spoke to my brother Speed and he guesses there will be no
problems. Speed will make the switch-over for leo-editor.com fairly soon.
We can test then.

Edward

-- 
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 https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Re: #480: GitHub pages now hosts a *copy* of Leo's web site

2017-05-09 Thread Terry Brown 
On Tue, 9 May 2017 06:43:25 -0700 (PDT)
"Edward K. Ream"  wrote:

> On Tuesday, May 9, 2017 at 5:18:47 AM UTC-5, Edward K. Ream wrote:
> 
> GitHub pages  now hosts a *copy* of Leo's
> web 
> > site at: https://leo-editor.github.io/leo-editor/.  The next step
> > will be to point leo-editor.com at the url above. I'll contact my
> > brother Speed to see how this can be done.
> >
> 
> I'm wondering whether GitHub will work with pages like Leo's original 
> viewer page  or Joe Orr's more
> recent Leo viewer page
> .
> Anyone have opinions about this?  Joe?

I can't see why not, you can certainly run javascript apps on GitHub
pages:

https://tbnorth.github.io/birdview/birdview.html

http://tbnorth.github.io/rainfallcalc/

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 https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Re: #480: GitHub pages now hosts a *copy* of Leo's web site

2017-05-09 Thread Edward K. Ream 
On Tuesday, May 9, 2017 at 5:18:47 AM UTC-5, Edward K. Ream wrote:

GitHub pages  now hosts a *copy* of Leo's web 
> site at: https://leo-editor.github.io/leo-editor/.  The next step will be 
> to point leo-editor.com at the url above. I'll contact my brother Speed 
> to see how this can be done.
>

I'm wondering whether GitHub will work with pages like Leo's original 
viewer page  or Joe Orr's more recent Leo 
viewer page .  
Anyone have opinions about this?  Joe?

Edward

-- 
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 https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Re: Output to console using g.es

2017-05-09 Thread Edward K. Ream 
On Tuesday, May 9, 2017 at 8:14:04 AM UTC-5, lewis wrote:
>
> Leo displays output to different locations depending if you use the 5.5 
> release version, or the latest git commit. My impression is that using 
> g.es it should send to the log pane, but only 5.5 release conforms to 
> this. 
>

Your example is an edge case.  You are embedding a print statement in g.es.

Examining the git logs, I don't see any recent changes related either to 
g.es (leoGlobals.py) or to LeoQtLog.put (leo.plugins.qt_frame.py).

If you think this is important, please isolate the offending commit using 
git bisect.  Thanks.

Edward

-- 
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 https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Output to console using g.es

2017-05-09 Thread lewis 
Leo displays output to different locations depending if you use the 5.5 
release version, or the latest git commit. My impression is that using g.es 
it should send to the log pane, but only 5.5 release conforms to this. 
This script demonstrates the different behaviour.

g.es  ('Here is a list of available python modules')
import sys
from pprint import pprint
# print to log pane
g.es  ('Available', "modules:  %s" % print(help('modules')))


Running Leo 5.5 release version, the script displays all output to Leo log 
pane as expected.

However running recent commits, the log pane gives this message:
"Here is a list of available python modules
Available modules:  None"
But the list of python modules is displayed in the console:

"Please wait a moment while I gather a list of all available modules... 
[snip]"

*Leo Log Window*
*Leo 5.5, build 20170509052024, Tue May  9 05:20:24 CDT 2017*
*Git repo info: branch = master, commit = 55cbf3cfbe86*
*Python 3.6.1, PyQt version 5.8.0*
*Windows 10 AMD64 (build 10.0.15063) SP0*

Regards
Lewis

-- 
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 https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

The Ashland enhancements are next

2017-05-09 Thread Edward K. Ream 
I've added an Ashland label for all enhancements discussed in Ashland a few 
weeks ago.  See them here 
.
 
I plan to take a break from the curses front-end work for a few days while 
I do these.

Edward

-- 
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 https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Re: #480: GitHub pages now hosts a *copy* of Leo's web site

2017-05-09 Thread Edward K. Ream 
On Tue, May 9, 2017 at 7:38 AM, Terry Brown  wrote:

The screenshots link from the left hand panel is broken.
>

​Thanks.  I'll look into it.​


>
> Perhaps leo/doc can be cleaned up a bit


​Or a lot :-)

Edward

-- 
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 https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Re: #480: GitHub pages now hosts a *copy* of Leo's web site

2017-05-09 Thread Terry Brown 
On Tue, 9 May 2017 03:18:47 -0700 (PDT)
"Edward K. Ream"  wrote:

> GitHub pages  now hosts a *copy* of Leo's
> web site at: https://leo-editor.github.io/leo-editor/.  The next step
> will be to point leo-editor.com at the url above. I'll contact my
> brother Speed to see how this can be done.
> 
> To make this happen,  Leo's full web site has been copied to the 
> master/docs folder.  Yes, git clones will be slower.  The advantages
> are many, including full tracking (and backup) of Leo's web site.
> Updating the web site will involve simply copying files to the /docs
> folder and committing. No need to use Filezilla to push files.
> 
> #480: Host Leo's web site on GitHub 
>  contains more 
> details. 
> 
> Any comments or suggestions?

Seems like a sensible step.

The screenshots link from the left hand panel is broken.

Perhaps leo/doc can be cleaned up a bit, or, if that interferes with
URLs, perhaps the extra parts can exist only in the gh-pages branch.  I
think it's not uncommon for the gh-pages branch to have completely
different content / layout to the rest of a project's branches.

...but now I see you're not using a gh-pages branch, guess I'm not
familiar with deployments that don't - maybe the different between
organization pages and project pages.

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 https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

#480: GitHub pages now hosts a *copy* of Leo's web site

2017-05-09 Thread Edward K. Ream 
GitHub pages  now hosts a *copy* of Leo's web 
site at: https://leo-editor.github.io/leo-editor/.  The next step will be 
to point leo-editor.com at the url above. I'll contact my brother Speed to 
see how this can be done.

To make this happen,  Leo's full web site has been copied to the 
master/docs folder.  Yes, git clones will be slower.  The advantages are 
many, including full tracking (and backup) of Leo's web site. Updating the 
web site will involve simply copying files to the /docs folder and 
committing. No need to use Filezilla to push files.

#480: Host Leo's web site on GitHub 
 contains more 
details. 

Any comments or suggestions?

Edward

-- 
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 https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.