1
0
Fork 0
mirror of https://github.com/git/git.git synced 2024-10-31 06:17:56 +01:00
git/git-gui/lib
Junio C Hamano 18a6a8571f Merge branch 'cb/git-gui-ttk-style'
"git gui" has been taught to work with old versions of tk (like
8.5.7) that do not support "ttk::style theme use" as a way to query
the current theme.

* cb/git-gui-ttk-style:
  git-gui: workaround ttk:style theme use
2018-04-25 13:28:49 +09:00
..
about.tcl
blame.tcl
branch.tcl
branch_checkout.tcl
branch_create.tcl
branch_delete.tcl
branch_rename.tcl
browser.tcl
checkout_op.tcl
choose_font.tcl
choose_repository.tcl
choose_rev.tcl
class.tcl
commit.tcl
console.tcl
database.tcl
date.tcl
diff.tcl Merge branch 'js/misc-git-gui-stuff' of ../git-gui 2018-01-09 11:07:03 -08:00
encoding.tcl
error.tcl
git-gui.ico
index.tcl
line.tcl
logo.tcl
merge.tcl
mergetool.tcl
option.tcl
remote.tcl
remote_add.tcl
remote_branch_delete.tcl
search.tcl
shortcut.tcl
spellcheck.tcl
sshkey.tcl Merge branch 'bb/ssh-key-files' of git-gui into bb/git-gui-ssh-key-files 2018-03-02 15:17:35 -08:00
status_bar.tcl
themed.tcl Merge branch 'cb/ttk-style' of git-gui into cb/git-gui-ttk-style 2018-03-05 23:48:01 -08:00
tools.tcl
tools_dlg.tcl
transport.tcl
win32.tcl
win32_shortcut.js