Menu

#21 Support setting title of diff window.

open
nobody
None
5
2006-11-03
2006-11-03
Anonymous
No

This allows other programs to grab the window (if they
know the title) and send it keystrokes...

Here's a diff that provides an option "-title <title>"
to specify the diff window title.

46a47
> set g(title) "$g(name) $g(version)"
1036a1038,1041
> "^-title" {
> incr argindex
> set g(title) [lindex $argv $argindex]
> }
5432c5437,5439
< wm title . "$g(name) $g(version)"
---
> # Set the main title here.
> wm title . "$g(title)"

Thanks.

Adam Krolnik
adam.krolnik@verisilicon.com

Discussion


Log in to post a comment.