Users should be able to change terminal's title

lukgad / elt

Automatically exported from code.google.com/p/elt

0 stars 0 forks source link

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago

Just like any regular terminal.

Original issue reported on code.google.com by alr...@google.com on 14 Jul 2012 at 10:47

GoogleCodeExporter commented 9 years ago

rf8ecbebfd4d2

Original comment by alr...@google.com on 14 Jul 2012 at 10:49