To lcarify my answer: R3GUI can ofcourse use absolute positioning or any other resizing algorithm possible. The resizing is not "hardcoded" in the R3GUI core code. Anyone can implement own Layout style that treats the contained faces in any way.
Cyphre
Graham: true, the type fix probably slipped during some code merges so yes, we are on GitHub nows corrections are welcome and won't be forgotten ;)
I have just submited my first Github "pull request" ever.
PeterWood
Great ... hopefully the first of many :-)
Arnold
Congratulations! Wouldn't that have to be a Push request? (No just kidding!) ;-)
GrahamC
@Cyphre - did you already fix this bug I mentioned here on the 26-May with the leading === ? That was the reason for the pull request because it looked as though you hadn't ?
Cyphre
GrahamC: see the pull-request chat for answer
(According to the MDP docs the leading "===" is not valid syntax....the first line should be just plain text title.)
Cyphre
Didec: thanks, your request has been merged. Since we are syncing between SVN<->Git now it looks the commits are not fully-credited to the contributor in the log file. I need to discuss this with Andreas.
We'll also put small list of suggestions how to do the pull-requests efficiently into the main README file. This way contributors can easily follow the 'pattern'.
The all-styles.r3 is most probably outdated (and that's why is not on the GitHub as well)
...and examples from Carl are usualy outdated as well when using with current R3GUI
Cyphre
BTW it looks even if we still use the Carl's MakeDoc syntax only your fix would break it anyway. (The MakeDoc syntax also defines the first plain text title line, though probably it is optional)
Maybe good idea would be to extend the DOC style for multi-format support in future so you could write for example:
view [doc "..." options [markup: 'html]
etc.
Another approach could be to just write separate styles for each markup..