steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

git-tool: Remove old code

db4
Eduardo Cavazos 2009-01-14 02:53:12 -06:00
parent 318bd98b21
commit 258438c930
1 changed files with 0 additions and 34 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

34
extra/git-tool/git-tool.factor
View File

@ -425,39 +425,6 @@ TUPLE: <git-status>
! !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! ! !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
! :: git-tool ( REPO -- )
! <pile> 1 >>fill
! "Repository: " REPO [ current-directory get ] with-directory append
! <label>
! add-gadget
! [let | STATUS [ REPO git-status ]
! PILE [ <pile> 1 >>fill ] |
! [
! [
! [let | MONITOR [ REPO t <monitor> ] |
! [ MONITOR next-change 2drop STATUS PILE refresh-status-pile t ]
! loop
! ]
! ]
! with-monitors
! ]
! in-thread
! STATUS PILE refresh-status-pile
! PILE add-gadget ]
! ! REPO git-status <pile> 1 >>fill tuck refresh-status-pile add-gadget
! REPO <pile> 1 >>fill tuck refresh-remotes-pile add-gadget
! "Git" open-window ;
! !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
:: git-tool ( REPO -- ) :: git-tool ( REPO -- )
<pile> 1 >>fill <pile> 1 >>fill
@ -491,7 +458,6 @@ TUPLE: <git-status>
PILE add-gadget ] PILE add-gadget ]
! REPO git-status <pile> 1 >>fill tuck refresh-status-pile add-gadget
REPO <pile> 1 >>fill tuck refresh-remotes-pile add-gadget REPO <pile> 1 >>fill tuck refresh-remotes-pile add-gadget
"Git" open-window ; "Git" open-window ;