texmacs-users - Re: [TeXmacs] Changing alignment of a document

Subject: mailing-list for TeXmacs Users

List archive

Re: [TeXmacs] Changing alignment of a document

From: Miguel de Benito Delgado <address@hidden>
To: address@hidden
Subject: Re: [TeXmacs] Changing alignment of a document
Date: Mon, 27 Apr 2015 10:10:08 +0200

Yes, it would be definitely better and I expect the current behaviour not to be intentional. If you found the time to file a bug report at savannah it would be great!

Best,
--
Miguel de Benito.

Am 27.04.2015 09:56 schrieb "Alexandre Dezotti" <address@hidden>:

That's a bit an unusual behavior. I would expect that "undo" would undo any modification to the document.

Anyway, thank you for all your answers!

Best,
AD.

2015-04-26 23:32 GMT+02:00 Miguel de Benito Delgado <address@hidden>:

On Sun, Apr 26, 2015 at 4:42 PM, Alexandre Dezotti <address@hidden> wrote:

Is this supposed to work like that?

Yes and no. It's a side effect of how this attribute for the document and the undo system work.

Is there an undo operation for the alignment (besides manually putting back the alignment) ?

No there isn't.

Best,
--
Miguel de Benito.

[TeXmacs] Changing alignment of a document, Alexandre Dezotti, 04/26/2015
- Re: [TeXmacs] Changing alignment of a document, Miguel de Benito Delgado, 04/26/2015
  - Re: [TeXmacs] Changing alignment of a document, Alexandre Dezotti, 04/27/2015
    - Re: [TeXmacs] Changing alignment of a document, Miguel de Benito Delgado, 04/27/2015

List archive

Re: [TeXmacs] Changing alignment of a document