Just a followup:
The width of the separate xman help page can also be set by
Xman*help.geometry: 800x900
Joe Riel
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
On Fri, Nov 15, 2002 at 08:38:33PM +0100, Michael Naumann wrote:
> >More generally, how can I find the available resources for a
> >particular X-client?
>
> This is something I'd also like to know. I too often end up with
> experimenting. In the case of xman, the widget hirarchy can be
> obtain
15.11.2002 19:23:05, Joe Riel <[EMAIL PROTECTED]> wrote:
>11/15/02 9:05:08 AM, Michael Naumann <[EMAIL PROTECTED]> wrote:
>
>>What you want is
>>Xman*manualBrowser.geometry :800x900
>>in your .Xdefaults.
>
>Thank you.
>
>How did you figure this out?
This was just a wild guess.
I tried
string
11/15/02 9:05:08 AM, Michael Naumann <[EMAIL PROTECTED]> wrote:
>What you want is
>Xman*manualBrowser.geometry :800x900
>in your .Xdefaults.
Thank you.
How did you figure this out? More generally,
how can I find the available resources for a particular X-client?
The man pages for a client d
On Friday 15 November 2002 17:24, Joe Riel wrote:
> When I select manual page in the xman startup window,
> the window for the manual is too narrow, I have to manually
> increase it to the proper size. How can I change the default
> size?
>
> I read the xman man page, it mentions the -pagesize opti
When I select manual page in the xman startup window,
the window for the manual is too narrow, I have to manually
increase it to the proper size. How can I change the default
size?
I read the xman man page, it mentions the -pagesize option,
which does work if I start xman from the command line, e
6 matches
Mail list logo
