From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 11656 invoked by alias); 5 May 2009 00:48:53 -0000 Received: (qmail 11647 invoked by uid 22791); 5 May 2009 00:48:52 -0000 X-SWARE-Spam-Status: No, hits=-2.6 required=5.0 tests=BAYES_00 X-Spam-Check-By: sourceware.org Received: from n10.bullet.re3.yahoo.com (HELO n10.bullet.re3.yahoo.com) (68.142.237.123) by sourceware.org (qpsmtpd/0.43rc1) with SMTP; Tue, 05 May 2009 00:48:46 +0000 Received: from [68.142.237.88] by n10.bullet.re3.yahoo.com with NNFMP; 05 May 2009 00:48:44 -0000 Received: from [69.147.75.179] by t4.bullet.re3.yahoo.com with NNFMP; 05 May 2009 00:48:44 -0000 Received: from [127.0.0.1] by omp100.mail.re1.yahoo.com with NNFMP; 05 May 2009 00:48:44 -0000 Received: (qmail 85682 invoked from network); 5 May 2009 00:48:44 -0000 Received: from unknown (HELO tabole-debian) (olejorgenb@80.202.223.55 with login) by smtp108.plus.mail.re1.yahoo.com with SMTP; 5 May 2009 00:48:44 -0000 Date: Tue, 05 May 2009 00:48:00 -0000 To: insight@sourceware.org Subject: More compact/space efficient interface? From: =?utf-8?Q?Ole_J=C3=B8rgen_Br=C3=B8nner?= Content-Type: text/plain; format=flowed; delsp=yes; charset=utf-8 MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Message-ID: User-Agent: Opera Mail/9.64 (Linux) X-IsSubscribed: yes Mailing-List: contact insight-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: insight-owner@sourceware.org X-SW-Source: 2009-q2/txt/msg00030.txt.bz2 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.