|
From: lawrence m. <we...@gm...> - 2003-09-25 11:41:47
|
Mario Lang wrote: [...] > Hmm, I like this. However, I think the name is a bit > misleading. It is not really a prompt, since the user does not > see it as such. Can you think of a better name? Other than > that, I'd be fine with this change. How about ERC-COMMAND-INDICATOR? If it's not really a prompt (it isn't), should it still be fontified using ERC-PROMPT-FACE? -- lawrence mitchell <we...@gm...> |