On 07/10/2008 13:16, Marco Costalba wrote:
On Tue, Oct 7, 2008 at 9:33 AM, Abdelrazak Younes[off-list ref] wrote:
quoted
Dear Marco,
By the way, these two edit boxes are not editable on Windows, is that on
purpose? If yes, maybe we could let the user change them is 'Local config'
is selected and call the appropriate git function?
I know this limitation. I was just too lazy to implement edit
myself...it would be a nice patch to have tough ;-)
I am not sure I'll find the time to learn enough about git internals to
do that kind of stuff. Maybe later.
Abdel.