Hello,
i would like to propose that the chars which represent the whitespaces schould be
choosen by the user, also the color.
thanks
Arktik
Submitted | *anonymous - 2008-04-29 10:56:16 | Assigned | |
---|---|---|---|
Priority | 5 | Labels | WhiteSpace |
Status | open | Group | None |
Resolution | None |
2012-02-10 19:12:43 jarekczek |
- **labels**: --> WhiteSpace |
---|---|
2012-02-10 21:55:06 jarekczek |
What's wrong with the current chars? What chars and colors would you choose instead
of current symbols? Before introducing a feature we would like to know, how one may
benefit from it.
|