More scalable display_name handling (actually the length).
[gsh.git] / gsh / 
tree7b3bda868867c86bb34c433332cfd7a75265de6e
drwxr-xr-x   ..
-rw-r--r-- 0 __init__.py
-rw-r--r-- 3339 buffered_dispatcher.py
-rw-r--r-- 2775 callbacks.py
-rw-r--r-- 4160 completion.py
-rw-r--r-- 1996 console.py
-rw-r--r-- 14360 control_commands.py
-rw-r--r-- 4023 control_commands_helpers.py
-rw-r--r-- 3196 dispatchers.py
-rw-r--r-- 4019 display_names.py
-rw-r--r-- 4145 file_transfer.py
-rw-r--r-- 2368 host_syntax.py
-rw-r--r-- 8715 main.py
-rw-r--r-- 7130 pity.py
-rw-r--r-- 22134 rb_tree.py
-rw-r--r-- 12275 remote_dispatcher.py
-rw-r--r-- 10220 stdin.py
-rw-r--r-- 1081 terminal_size.py
-rw-r--r-- 18 version.py