Menu

#2 no way to reset title

v1.0.x
closed-fixed
terminal (9)
5
2002-04-04
2002-04-03
No

Once a user changes the title of a terminal, there's no
way to bring it back to being automatic, or to reset it.

Discussion

  • Adrian Drzewiecki

    Logged In: YES
    user_id=480008

    Added boolean option "fixed_title" which basically means
    "Don't change the title of a tab once a user has changed
    it." That should be enough.

     
  • Adrian Drzewiecki

    • status: open --> closed-fixed
     

Log in to post a comment.

MongoDB Logo MongoDB