mirror of
https://github.com/git/git.git
synced 2024-11-05 00:37:55 +01:00
gitk: Make .gitk a hidden file under windows
This sets the hidden attribute on the ~/.gitk file so it doesn't appear in the windows user profile. Signed-off-by: Paul Mackerras <paulus@samba.org>
This commit is contained in:
parent
010509f2de
commit
9832e4f29b
1 changed files with 3 additions and 0 deletions
3
gitk
3
gitk
|
@ -2519,6 +2519,9 @@ proc savestuff {w} {
|
||||||
if {![winfo viewable .]} return
|
if {![winfo viewable .]} return
|
||||||
catch {
|
catch {
|
||||||
set f [open "~/.gitk-new" w]
|
set f [open "~/.gitk-new" w]
|
||||||
|
if {$::tcl_platform(platform) eq {windows}} {
|
||||||
|
file attributes "~/.gitk-new" -hidden true
|
||||||
|
}
|
||||||
puts $f [list set mainfont $mainfont]
|
puts $f [list set mainfont $mainfont]
|
||||||
puts $f [list set textfont $textfont]
|
puts $f [list set textfont $textfont]
|
||||||
puts $f [list set uifont $uifont]
|
puts $f [list set uifont $uifont]
|
||||||
|
|
Loading…
Reference in a new issue