Re: Cambiare la posizione delle parentesi graffe
On Thu, 07 Oct 2004 16:39:26 +0200, Dodiesis <dodiesis@sgrunt.net> wrote:
> Il gio, 2004-10-07 alle 14:34, paolo ha scritto:
> > > non è quello che chiedevi, ma normalmente puoi ottenere le parentesi
> > > graffe anche con i tasti
> > > AltGr-shift-[
> > > AltGr-shift-]
> > >
> > A tale proposito, io per ottenere le graffe devo per forza tenere
> > premuto AltGr+shift
> > e premere 2 volte (anzichè una come ognuno si aspetterebbe) [ prima di
> > ottenere '{'. A qualcuno è mai successo!?
> si a me...
> capita.
>
> è un modo di linux per dire al programmatore che deve prendersi una
> pausa di 5 minuti.
>
> ... sono le 17 di un quasi venerdì...
A parte la battuta... c'e' un modo per correggere la cosa?
P.
Reply to: