-
-
Notifications
You must be signed in to change notification settings - Fork 1.1k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Visual aide of doublespace in edited string #1930
Comments
This can be easily done in the the strings we display, there is no support for this in the editor as we use just simple textarea so far... |
I've just implemented it for rendering strings, for the editor it's still open until we use something more complex for entering text. |
They are now rendered as dot, while still keeping it as space for copy and paste. Issue #1930 Signed-off-by: Michal Čihař <[email protected]>
My intention is rather to go for some rich editor (for example CodeMirror) and highlight whitespace and special chars there. But frontend is not really my cup of tea.... |
Well, there's this project by a friend of mine (@tomer) called Pilcrow: It could probably be fitted for our needs pretty easily. |
What we need in textarea formatting, while this seems to format non-editable text. Anyway we're now using CodeMirror for some other features, so this should be possible using it as well, it just needs to be implemented ;-). |
Thank you for your report, the issue you have reported has just been fixed.
|
Above the blue line.

If you make a triplespace, there are three dots.
Regular spaces have no dots.
Makes it visually apparent that there is a doublespace afoot.
The text was updated successfully, but these errors were encountered: