[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Trying to right-align my window on startup
From: |
Marcin Borkowski |
Subject: |
Re: Trying to right-align my window on startup |
Date: |
Tue, 14 Jan 2014 18:57:06 +0100 |
Dnia 2014-01-14, o godz. 01:24:34
Rusi <rustompmody@gmail.com> napisaĆ(a):
> On Saturday, January 11, 2014 8:15:05 PM UTC+5:30, Juanma Barranquero
> wrote:
> > On Thu, Jan 9, 2014 at 10:02 PM, Drew Adams wrote:
> >
> > > But (IMHO) too many people ignore Customize, often because they've
> > > gotten the impression somehow that it is for non-Lispers or wimps.
> >
> >
> > I just hate its UI.
>
> If a first year student of mine cannot distinguish data and code
> (s)he'd get an F grade. customize does that.
How lucky that John McCarthy was not your student...
No offence, just could not resist a (maybe lame) joke. I agree that the
distinction may be important. My logic professor used to say: "What
does it mean that a mathematician *identifies* two things? It means,
first of all, that he *distinguishes* them." Maybe it's similar here.
--
Marcin Borkowski
http://octd.wmi.amu.edu.pl/en/Marcin_Borkowski
Adam Mickiewicz University
- RE: poor Customize [was: Trying to right-align my window on startup], (continued)
- RE: poor Customize [was: Trying to right-align my window on startup], Drew Adams, 2014/01/13
- Message not available
- Re: Trying to right-align my window on startup, Rusi, 2014/01/14
- In defense of Customize [was: Trying to right-align my window on startup], Drew Adams, 2014/01/14
- session.* files (was: In defense of Customize), gottlieb, 2014/01/14
- Re: session.* files (was: In defense of Customize), Peter Dyballa, 2014/01/14
- Re: In defense of Customize [was: Trying to right-align my window on startup], Phillip Lord, 2014/01/15
- RE: In defense of Customize [was: Trying to right-align my window on startup], Drew Adams, 2014/01/15
- Re: In defense of Customize [was: Trying to right-align my window on startup], Phillip Lord, 2014/01/16
- RE: In defense of Customize [was: Trying to right-align my window on startup], Drew Adams, 2014/01/16
- Re: Trying to right-align my window on startup, Emanuel Berg, 2014/01/14
- Re: Trying to right-align my window on startup,
Marcin Borkowski <=
- Message not available
- Re: Trying to right-align my window on startup, Rusi, 2014/01/14
- Message not available
- Re: Trying to right-align my window on startup, Emanuel Berg, 2014/01/14
- Message not available
- Re: Trying to right-align my window on startup, Rusi, 2014/01/14
- Message not available
- Re: In defense of Customize [was: Trying to right-align my window on startup], Rusi, 2014/01/17
- Re: In defense of Customize [was: Trying to right-align my window on startup], Emanuel Berg, 2014/01/17
- Re: In defense of Customize [was: Trying to right-align my window on startup], Rusi, 2014/01/18
- Message not available
- Re: In defense of Customize [was: Trying to right-align my window on startup], Christoph Wedler, 2014/01/28
- Re: In defense of Customize [was: Trying to right-align my window on startup], Emanuel Berg, 2014/01/28
- Re: In defense of Customize [was: Trying to right-align my window on startup], Phillip Lord, 2014/01/29
- Re: In defense of Customize [was: Trying to right-align my window on startup], Stefan Monnier, 2014/01/29