[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Texmacs-dev] New features for menus in TeXmacs 1.0.0.11
From: |
Joris van der Hoeven |
Subject: |
Re: [Texmacs-dev] New features for menus in TeXmacs 1.0.0.11 |
Date: |
Fri, 2 Aug 2002 10:30:32 +0200 (MET DST) |
> 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.
- Re: [Texmacs-dev] New features for menus in TeXmacs 1.0.0.11, David Allouche, 2002/08/01
- Re: [Texmacs-dev] New features for menus in TeXmacs 1.0.0.11, Joris van der Hoeven, 2002/08/01
- Re: [Texmacs-dev] New features for menus in TeXmacs 1.0.0.11,
Joris van der Hoeven <=
- Re: [Texmacs-dev] New features for menus in TeXmacs 1.0.0.11, David Allouche, 2002/08/02
- Re: [Texmacs-dev] New features for menus in TeXmacs 1.0.0.11, Joris van der Hoeven, 2002/08/02
- [Texmacs-dev] getting rid of frequent polling in TeXmacs, Amir Michail, 2002/08/28
- Re: [Texmacs-dev] getting rid of frequent polling in TeXmacs, Stéphane Payrard, 2002/08/29
- Re: [Texmacs-dev] getting rid of frequent polling in TeXmacs, Amir Michail, 2002/08/29
- Re: [Texmacs-dev] getting rid of frequent polling in TeXmacs, Joris van der Hoeven, 2002/08/30