Email Gateway (Aug 18 2022 at 19:41): Email Gateway (Aug 18 2022 at 19:41):From: Tobias Nipkow <nipkow@in.tum.de>
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
Email Gateway (Aug 18 2022 at 19:42):From: Makarius <makarius@sketis.net>
The Output panel is managed by the "dockable window manager" of jEdit, and
follows its own rules. For example, you can probably get 1-2 more lines
by removing all dockables from the bottom line, and retaining a floating
version of Output (there can be more than one). You can then make the two
windows slightly overlapping, to hide some of their decoration.
Moreover, it is possible to scale the font size of the Output panel down,
say to 85% of the main text font.
In the course that we have had on Mon/Tue, we had the opposite sitation.
The projector had a resolution of 1920x1080, and the window decorations
and menus were rather tiny. The TextArea font size only applies to the
main text buffer and the output panel.
The equipment in the LRI building is from last year, and all the rooms
have rather high-resolution displays or projectors by default. The time
of classic 1024x768 seems to be over.
Makarius
Email Gateway (Aug 18 2022 at 19:43):From: Alfio Martini <alfio.martini@acm.org>
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!
Working-Paulson-NNF-exercise.PNG
Email Gateway (Aug 18 2022 at 19:43):From: Christian Sternagel <c-sterna@jaist.ac.jp>
Dear all,
maybe it was to obvious to state explicitly, I'll do it anyways.
Full-Screen mode (either View -> Toggle Full-Screen Mode, or F11) might
be of interest.
Since many modern laptops are wide-screen, I also tend to move the
output panel to the right.
For minimizing surrounding decorations, as suggested already by others,
undocking all panels besides Output (i.e., Sidekick, Console,
ProverSession) does work.
cheers
chris
Email Gateway (Aug 18 2022 at 19:45):From: Makarius <makarius@sketis.net>
Which is your window manager? I've tried it so far with Mac OS and Xfce
(Xubuntu), but the desktop title bar then hides the menu bar of jEdit.
Anyway, Mac OS has the menu bar in the title by default, but the standard
Isabelle/jEdit properties emulate Linux/Windows here, to reduce the
potential for confusion with multiple jEdit views that have their own menu
bar.
For Mac OS users, it might be worth trying the following in
$ISABELLE_HOME_USER/etc/settings:
JEDIT_SYSTEM_OPTIONS="$JEDIT_SYSTEM_OPTIONS -Dapple.laf.useScreenMenuBar=true"
Then you get the Mac OS menu bar back. (All this Mac-specific Java stuff
needs to be applied with great care, it usually causes some surprises
elsewhere.)
Makarius
Last updated: Nov 21 2024 at 12:39 UTC