On Tue, 7 Aug 2018 04:27:10 -0700 (PDT)
Josef wrote:
> Perhaps it is best/easiest not to touch the cell content at all, and
> leave such alignment things to a separate command? Otherwise you may
> end up having to remember the alignment strategy for each file.
Right, the alignment stuff I'm not
On Tue, 7 Aug 2018 04:58:43 -0500
"Edward K. Ream" wrote:
> On Mon, Aug 6, 2018 at 9:34 PM, Terry Brown
> wrote:
>
> I don't think we should say plugin loading time shouldn't be changed
> to
> > reduce complexity, although that doesn't mean making such a change
> > is any kind or priority or
On Tue, Aug 7, 2018 at 6:31 AM, Josef wrote:
>>
Does 6d17bb in "devel" do what you want?
>>
I have only used the main branch in git so far, so I first need to figure
out how to check out a branch and have no time for a while.
To switch to the "devel" branch, just do "git checkout devel".
On Monday, August 6, 2018 at 3:53:20 PM UTC+2, Edward K. Ream wrote:
>
> On Mon, Aug 6, 2018 at 8:12 AM, Josef >
> wrote:
>
> I would appreciate, if at least *.latex and *.sty files, would
>> automatically be recognized as LaTeX.
>>
>
> Does 6d17bb in "devel" do what you want?
>
> Edward
>
I
Hi Terry,
Am Dienstag, 7. August 2018 05:51:43 UTC+2 schrieb Terry Brown:
>
> On Mon, 6 Aug 2018 05:46:55 -0700 (PDT)
> Josef > wrote:
>
> > Is there a way to set the CSV separator?
>
> I've made a start on this in the csv_delim branch.
>
> It's not finished, because I'm trying to cover the
On Mon, Aug 6, 2018 at 9:29 PM, Terry Brown wrote:
Another way to avoid the surprise of finding GUI involvement in a write
> string to file operation would be to make changes to p.h immediate,
> like changes to p.b. So p.h changes as you type in the headline
> line-edit, then endEditing()
On Mon, Aug 6, 2018 at 10:50 PM, matelot wrote:
> thanks for the replies folks. Leo is running now:
>
Excellent. And thanks to you for not giving up.
Edward
--
You received this message because you are subscribed to the Google Groups
"leo-editor" group.
To unsubscribe from this group and
On Mon, Aug 6, 2018 at 6:32 PM, Rob wrote:
That's a great article and highlights something I preach/teach all the
> time; know your audience. I also think there's a third, and significantly
> larger audience of 'users'.
>
I agree. I omitted this third audience because presumably they won't be
On Mon, Aug 6, 2018 at 9:34 PM, Terry Brown wrote:
I don't think we should say plugin loading time shouldn't be changed to
> reduce complexity, although that doesn't mean making such a change is
> any kind or priority or that it even needs to happen.
>
A good summary. Let's see the
