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
|
fbc7cc3929
|
Parsing of id options, support for id -P
part of darcs patch Sat Sep 17 18:05:43 EEST 2005 Martin Gasbichler <gasbichl@informatik.uni-tuebingen.de>
|
2005-09-27 08:46:49 +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
|
4bdb8da41f
|
Introduce utils module, move exp->string and display-to-string to utils
part of darcs patch Sat Sep 17 17:22:33 EEST 2005 Martin Gasbichler <gasbichl@informatik.uni-tuebingen.de>
|
2005-09-27 08:46:18 +00:00 |
|
eknauel
|
39ae30681a
|
get-selection-as-text/ref for group-info
part of darcs patch Sat Sep 17 17:10:00 EEST 2005 Martin Gasbichler <gasbichl@informatik.uni-tuebingen.de>
|
2005-09-27 08:45:50 +00:00 |
|
eknauel
|
f87a5adf01
|
get-selection-as-text/ref for user-info records
part of darcs patch Fri Sep 16 23:55:48 EEST 2005 Martin Gasbichler <gasbichl@informatik.uni-tuebingen.de>
|
2005-09-27 08:45:36 +00:00 |
|
eknauel
|
8c6de19aaa
|
get-selection-as-ref for id-output
part of darcs patch Fri Sep 16 23:02:04 EEST 2005 Martin Gasbichler <gasbichl@informatik.uni-tuebingen.de>
|
2005-09-27 08:44:36 +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 |
|
mainzelm
|
4fce440abc
|
Command plugin and viewer for id(1)
|
2005-09-13 19:46:45 +00:00 |
|
mainzelm
|
7a9bde00e7
|
Browser for group-info
Make entries browsable
|
2005-05-31 16:02:53 +00:00 |
|
mainzelm
|
0cb71508ef
|
Browser for user-info
|
2005-05-31 14:54:04 +00:00 |