Re: [Texmacs-dev] New features for menus in TeXmacs 1.0.0.11

[Joris van der Hoeven]

> buffer-set-property!: scheme_tree, scheme_tree -> void
> buffer-get-property : scheme_tree -> scheme_tree
> window-set-property!: scheme_tree, scheme_tree -> void
> window-get-property : scheme_tree -> scheme_tree
> system-set-property!: scheme_tree, scheme_tree -> void
> system-get-property : scheme_tree -> scheme_tree

In fact, it would be better to call them set-buffer-property!,
get-buffer-property, etc.

In order to implement this, I suggest to store the corresponding
hashmaps at the TeXmacs side and to enrich the glue with
the necessary methods.