Martin Baker wrote:
>
> By default hyperdoc pages seem to start quite small, the user can
> resize but each time to user jumps to a new page it will be the
> default size, I therefore assume that the user wont keep resizing. So
> writers of documentation have to assume that it is read through a
> small window. This would mean a lot of small pages which would have to
> be very deeply nested, this make the documentation hard to write and
> hard for users to navigate.
I think one can set X default to make HyperDoc window bigger.
However, current size seem to be big enough. And one can have
large pages, simply useres have to scroll.
BTW: AFAICS HyperDoc lines contain more than 100 characters. This
is maximal reasonable line length -- typically shorter lines are
considered more readable. So I do not want wider HyperDoc window.
And to proportions of window seem to be quite reasonable (folks
with really big screens may want taller window but on medium size
and small screens it looks OK).
BTW2: AFAICS when user jumps to a new page then the window
keeps its size. Only new windows are created at default size
(this may be annoying because at top level new pages is shown
in new window).
--
Waldek Hebisch
[email protected]
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en.
