Jindrich Novy wrote:

I did two patches to fix it so that you can decide which one is better
commit candidate.

Patch1:
Allows an user to type leading spaces on the command prompt, but when
enter is pressed, it tests whether the user typed at least something
except spaces. In case it finds only spaces, it deletes them from the
command prompt and let the enter be further processed.

Patch2:
Doesn't let the user to type leading spaces if he didn't write a non-
space letter already.



IMHO, patch1 is better way. Else "end user" can decide "the space key is not working" ...

--
                Dmitry Butskoj <[EMAIL PROTECTED]>
                Saint-Petersburg, Russia
                

_______________________________________________
Mc-devel mailing list
http://mail.gnome.org/mailman/listinfo/mc-devel

Reply via email to