Miguel de Benito 06ee7775f0 Further development of tree-view: ... + Commands implemented. + Changes to the interface and documentation. + Don’t look in TEXMACS_PIXMAP_PATH if DecorationRole is set.		2014-01-01 23:15:10 +00:00
..
format	Completed reorganization of actions	2013-11-14 13:33:16 +00:00
interface	More cautious documentation on nested DATA_BEGIN/DATA_END blocks	2013-11-28 15:14:58 +00:00
plugin	Update documentation	2013-03-05 08:31:56 +00:00
scheme	Further development of tree-view:	2014-01-01 23:15:10 +00:00
source	Fixed some typos in docs	2013-07-10 20:26:30 +00:00
style	Continued reorganization of Document menu	2013-10-26 21:20:27 +00:00