I get the bug in terminal mode with "gedit /etc/network/interfaces" (read only mode).
I do NOT get the bug with "sudo gedit /etc/network/interfaces" or "gksudo gedit /etc/network/interfaces" (full permissions)
I get the bug in terminal mode with "gedit /etc/network/ interfaces" (read only mode).
I do NOT get the bug with "sudo gedit /etc/network/ interfaces" or "gksudo gedit /etc/network/ interfaces" (full permissions)