Commit Graph

13 Commits

Author SHA1 Message Date
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
eknauel 8c9496a1e0 fix indention 2005-05-31 07:59:31 +00:00
eknauel 345712d2da use an object-oriented approach for the plugins. deleted a lot of
cruft.  broke some plugins (such as browse-directory-list.scm)
2005-05-30 19:19:36 +00:00
eknauel 54230412f8 make it easier to abort the process of choosing a completion via the select-list 2005-05-30 15:38:13 +00:00
eknauel 9b72181b54 fix `select-list-get-selection' and avoid copying the list in `elements' 2005-05-28 12:07:21 +00:00
eknauel 5e8bdf3229 change api to MAKE-SELECT-LIST 2005-05-26 11:32:51 +00:00
eknauel 6ef959883f add functions for accessing the current selection 2005-05-25 13:48:17 +00:00
eknauel cbf39ba61e make selection-list distinguish markable and unmarkable items 2005-05-25 11:43:46 +00:00
eknauel 83909af4ac new features for selection-lists: list length is now adjustable, may
be placed at arbitrary position in the result buffer
2005-05-25 11:36:12 +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