Re: [rox-devel] [System] Menu button

[Vincent L. <vi...@vi...>]

In article <200...@na...>,
   Diego Zamboni <za...@ce...> wrote:

> Then, some options (like the mouse bindings) could be put in a separate 
> Choices directory (say, "General"), and accessed by any program.

Agreed!

-- 
Vincent Lefèvre <vi...@vi...> - Web: <http://www.vinc17.org/> - 100%
validated HTML - Acorn Risc PC, Yellow Pig 17, Championnat International des
Jeux Mathématiques et Logiques, TETRHEX, etc.
Work: CR INRIA - computer arithmetic / SPACES project at LORIA