eknauel
5846cc311e
select-list's element now have a painter instead of atext, make-(un)marked-text-element provides the old functionality
...
Sun Sep 18 19:13:55 EEST 2005 Martin Gasbichler <gasbichl@informatik.uni-tuebingen.de>
2005-09-27 16:29:34 +00:00
eknauel
7c5cec84b8
HEADS UP: exp->string is now write-to-string
...
part of darcs patch Sat Sep 17 17:28:05 EEST 2005 Martin Gasbichler <gasbichl@informatik.uni-tuebingen.de>
2005-09-27 08:46:34 +00:00
eknauel
c46282f826
Selection-ref for id-output, change semantics of select-list-get-selection, introduce select-list-get-marked
...
part of darcs patch Fri Sep 16 12:23:43 EEST 2005 Martin Gasbichler <gasbichl@informatik.uni-tuebingen.de>
2005-09-27 08:08:15 +00:00
eknauel
8376b8b9f7
Added a README, an installation script, and various small fixes.
2005-07-06 08:57:44 +00:00
eknauel
8ae60787a7
Add a joblist-viewer, add a get-focus-object-method generator to
...
select-list and make some plugins use it, added argument
focus-object-table to get-selection message (thus a get-selection
method can call a get-focus-object method).
2005-06-04 11:22:44 +00:00
mainzelm
dc699ce88f
fix stack and header, display source info
2005-06-02 19:02:04 +00:00
mainzelm
bfd61dfe44
Fixed various bugs in the inspector
...
Make focus/selection messages work
2005-06-01 12:55:29 +00:00
mainzelm
246660a299
Fixes for the changes in nuit-engine
2005-05-31 13:15:31 +00:00
eknauel
db732404dd
signature of MAKE-SELECT-LIST changed, adapt.
2005-05-27 08:01:24 +00:00
mainzelm
026c86a317
Use select-list in the inspector
2005-05-25 15:18:26 +00:00
eknauel
0447ccfa3e
Kill `browse-list' plugin. Introduce module `select-list', a library
...
for programming multi-page menus in the result-buffer. Remove the
print-object and make plugins return a function to paint the
result-buffer instead.
2005-05-25 09:44:27 +00:00
mainzelm
4e7e1301cb
Initial version of a view plugin for exception-continuations
...
up and down work but you cannot select other objects yet
2005-05-24 13:57:56 +00:00