[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Setting X-offset and Y-offset graphically.
From: |
David Kastrup |
Subject: |
Re: Setting X-offset and Y-offset graphically. |
Date: |
Fri, 19 Apr 2013 12:16:41 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.3.50 (gnu/linux) |
Urs Liska <address@hidden> writes:
> Am Freitag, den 19.04.2013, 11:50 +0200 schrieb David Kastrup:
>> Urs Liska <address@hidden> writes:
>>
>> >> > If not, would it be possible to highlight a changed note (or other
>> >> > item) with a color?
>> >>
>> >> That can be done.
>> > But recompilation is better.
>>
>> Easy recompilation is nice, but automatic recompilation is a nuisance.
>> Why would an editor not be allowed to batch changes?
> We're not talking of mandatory automatic recompilation, of course.
If you are saying "recompilation is better", that does not make much
sense unless you _are_ talking about mandatory recompilation.
When saying "dessert is better than a main dish", it does not sound like
going for a full dinner.
--
David Kastrup
- Re: Setting X-offset and Y-offset graphically., (continued)
- Re: Setting X-offset and Y-offset graphically., David Nalesnik, 2013/04/16
- Message not available
- Message not available
- Re: Setting X-offset and Y-offset graphically., Wilbert Berendsen, 2013/04/19
- Re: Setting X-offset and Y-offset graphically., Urs Liska, 2013/04/19
- Re: Setting X-offset and Y-offset graphically., Wilbert Berendsen, 2013/04/19
- Re: Setting X-offset and Y-offset graphically., Urs Liska, 2013/04/19
- Re: Setting X-offset and Y-offset graphically., David Kastrup, 2013/04/19
- Re: Setting X-offset and Y-offset graphically., Urs Liska, 2013/04/19
- Re: Setting X-offset and Y-offset graphically.,
David Kastrup <=
- Re: Setting X-offset and Y-offset graphically., Urs Liska, 2013/04/19
- Re: Setting X-offset and Y-offset graphically., Richard Shann, 2013/04/19
- Re: Setting X-offset and Y-offset graphically., Janek Warchoł, 2013/04/21
- Re: Setting X-offset and Y-offset graphically., Richard Shann, 2013/04/21
- Re: Setting X-offset and Y-offset graphically., Janek Warchoł, 2013/04/21
- Re: Setting X-offset and Y-offset graphically., Richard Shann, 2013/04/23
- Re: Setting X-offset and Y-offset graphically., Janek Warchoł, 2013/04/23
- Re: Setting X-offset and Y-offset graphically., David Nalesnik, 2013/04/23
- Re: Setting X-offset and Y-offset graphically., Urs Liska, 2013/04/23
- Re: Setting X-offset and Y-offset graphically., Richard Shann, 2013/04/23