[godel10]

I am afraid that I am not able to understand the code of your program (first I should learn ocaml and this seems a lot of work), but I guess it would not be difficult to allow the use of different colors for the scribbles: i.e., to choose the colour depending on the size used while writing on the DR.

I am thinking in something like that:
1. size1 scribbles are merged using red colour,
2. size2 scribbles are merged using yellow colour,
3. size3 scribbles are merged using blue colour,
4. etc

This would be great because we could use different sizes depending on what we want that the scribble means, and later once we merge the file in the PC we would be able to distinguish these different meanings from the colour (for example, when I read math papers I use orange to point out definitions, yellow to point out theorems-statements, etc).


By the way, does anyone know if this is possible to be done with the original software from Irex? [I do not have a windows computer and so I cannot check it on my own]