[...]
Now I've added several printf()s into the source to find out, where
the double slashes get removed. I've found this:
In ./src/gtk/menu-items.c:chdir_edit: edttxt=//dzin
In ./lib/misc.c:expand_path: src=//dzin
In ./lib/misc.c:expand_path: newstr=/dzin
In ./src/gtk/menu-items.c:chdir_edit: tempstr=/dzin
So the function expand_path removes the slash. I am now trying to
understand, what exactly this function is supposed to do. I may then be
able to fix it myself.
OK, here's my quick&dirty solution. I've commented out the call to
expand_path in src/gtk/menu-items.c and replaced it with: