Re: [isabelle] jedit



Dear Tobias,

I usually float (or hide) the "Sidekick" panel (coming from PG, I never
find it immediately useful)
and dock the "Output" panel at the right. So the buffer window uses as
much space as possible. For instance, in the attached image.

best!

On Tue, May 15, 2012 at 6:47 AM, Tobias Nipkow <nipkow at in.tum.de> wrote:

> For demos with a video projector, every line counts. How can I get rid of
> as
> much of the grey area around the file buffer and the output window? I mean
> especially the panels between the two windows and the one below the output
> window. (Thanks to Dimitriy I have already been able to remove the grey
> area to
> the left of the file buffer). The two windows should remain horizontal.
>
> Thanks
> Tobias
>
>


-- 
Alfio Ricardo Martini
PhD in Computer Science (TU Berlin)
Associate Professor at Faculty of Informatics (PUCRS)
Coordenador do Curso de Ciência da Computação
Av. Ipiranga, 6681 - Prédio 32 - Faculdade de Informática
90619-900 -Porto Alegre - RS - Brasil

Attachment: Working-Paulson-NNF-exercise.PNG
Description: PNG image



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.