5 Commits

Author	SHA1	Message	Date
Andrea Rossato	977349d911	Prompt.Theme: use mkComplFunFromList' to generate completions	2008-02-17 12:44:53 +00:00
Andrea Rossato	f611982205	Theme: move theme's nextCompletion implementation to Prompt.getNextCompletion	2008-02-16 13:37:38 +00:00
Andrea Rossato	1dd33dc560	Prompt.Theme: display all theme information and handle completion accordingly	2008-02-16 11:41:59 +00:00
Andrea Rossato	0e9b9d7263	Prompt.Theme: comments and some point-free	2008-02-07 23:21:55 +00:00
Andrea Rossato	7493f8fb04	Add Prompt.Theme: a prompt for dynamically applying a theme to the current workspace	2008-02-07 18:43:21 +00:00