* More compact/space efficient interface?
@ 2009-05-05 0:48 Ole Jørgen Brønner
2009-05-06 16:14 ` Keith Seitz
0 siblings, 1 reply; 2+ messages in thread
From: Ole Jørgen Brønner @ 2009-05-05 0:48 UTC (permalink / raw)
To: insight
Sorry if I've missed something obvious, but is it possible to get a more
compact UI? Reducing the font sizes helps only a bit.
I would like to reduce margins in general (especially in buttons and
menues), remove the scrollbar and reduce the size of the "splitbars" (in
the function browser)
I guess some of this should be possible with tk theming, but I couldn't
really find any info how to use it on the tk site. (or even if the support
is done yet :))
Thanks for the best gdb frontend I've tried so far! I _love_ that it
doesn't try to be its own window manager.
--
Ole J.
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: More compact/space efficient interface?
2009-05-05 0:48 More compact/space efficient interface? Ole Jørgen Brønner
@ 2009-05-06 16:14 ` Keith Seitz
0 siblings, 0 replies; 2+ messages in thread
From: Keith Seitz @ 2009-05-06 16:14 UTC (permalink / raw)
To: Ole Jørgen Brønner; +Cc: insight
Ole Jørgen Brønner wrote:
> Sorry if I've missed something obvious, but is it possible to get a more
> compact UI? Reducing the font sizes helps only a bit.
Unfortunately, no, no one has attempted to do this yet.
> I guess some of this should be possible with tk theming, but I couldn't
> really find any info how to use it on the tk site. (or even if the
> support is done yet :))
I don't know how insight will react to themes, but I believe all of our
windows use Itk, so it *should* be possible (and relatively painless, if
tedious) to merge margin-like widget properties into the window's main
widget property database. Then simply configuring the window's margins
will affect every widget inside.
Keith
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2009-05-06 16:14 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2009-05-05 0:48 More compact/space efficient interface? Ole Jørgen Brønner
2009-05-06 16:14 ` Keith Seitz
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).