Re: [fricas-devel] enlarge default HyperDoc window size

2016-06-04 Thread oldk1331
> In X environment default is supposed to be easily > changable by the user in .Xdefaults. It is probably > better to make sure that this works and document > how to do this. I think .Xdefaults is obsolete, people use .Xresources nowadays. I tested and in ~/.Xresources, these values works (af

Re: [fricas-devel] enlarge default HyperDoc window size

2016-06-04 Thread Waldek Hebisch
oldk1331 wrote: > The default window size is really small, I changed it > to 1000x600, which is not large either. What value > do you think is a better default? > On my machine, with defualt font I get about 100 characters per line. Longer lines are hard to read so I would keep current width.

[fricas-devel] enlarge default HyperDoc window size

2016-06-02 Thread oldk1331
The default window size is really small, I changed it to 1000x600, which is not large either. What value do you think is a better default? diff --git a/src/hyper/initx.c b/src/hyper/initx.c index 5950f89..d640869 100644 --- a/src/hyper/initx.c +++ b/src/hyper/initx.c @@ -276,5 +276,5 @@ cha