View | Details | Raw Unified
Collapse All | Expand All

(-) Yap-5.0.1.orig/misc/tkyap (-15 / +6 lines)
 Lines 30-48    Link Here  
#option add "*message*Font" $TextFont
#option add "*message*Font" $TextFont
#option add "*list*Font" $TextFont
#option add "*list*Font" $TextFont

            

              
if {[file exists /vmlinuz]} {

              
set  TextFont "*6x10*"

            

            

              
   set  TextFont "*6x10*"

              

            

            

              
   if {[file exists /home/luis/Yap94/linux]} {

              
set PrologCommand "yap -c localhost $service $YapOptions"

            

            

              
	set homeyap /home/luis/Yap94/linux

              
set SolarisBug 0

            

            

              
   } else {

              

            

            

              
	set homeyap .

              

            

            

              
   }

              

            

            

              
   set PrologCommand "$homeyap/yap $homeyap/startup -c localhost $service $YapOptions"

              

            

            

              
   set SolarisBug 0

              

            

            

              
} else {

              

            

            

              
   set PrologCommand "ny -h8000 -s1000"

              

            

            

              
   set SolarisBug 1

              

            

            

              
}

              

            

        

        

        

  

    

    

       Lines 122-128
       
    
  Link Here 
    

  

        
menubutton .menu.exec -text "Execution" -menu .menu.exec.m -underline 0
menubutton .menu.exec -text "Execution" -menu .menu.exec.m -underline 0

        
menu .menu.exec.m
menu .menu.exec.m

        
.menu.exec.m add command -label "Interrupt" \
.menu.exec.m add command -label "Interrupt" \

            

              
	-command {global tcl_mode; set tcl_mode 0; exec kill SIGINT $pid}

              
	-command {global tcl_mode; set tcl_mode 0; exec kill -SIGINT $pid}

            

        
.menu.exec.m add separator
.menu.exec.m add separator

        
.menu.exec.m add command -label "Statistics" -command {YapStats}
.menu.exec.m add command -label "Statistics" -command {YapStats}

        

  

    

    

       Lines 181-187
       
    
  Link Here 
    

  

        
bind .frame.text <Control-Key-c> {
bind .frame.text <Control-Key-c> {

        
   set tcl_mode 0
   set tcl_mode 0

        
   .frame.text yview -pickplace end
   .frame.text yview -pickplace end

            

              
   exec kill SIGINT $pid

              
   exec kill -SIGINT $pid

            

        
}
}