1//: version "2.1" 2//: property encoding = "utf-8" 3//: property locale = "es" 4//: property prefix = "_GG" 5//: property title = "Personalización de TkGate" 6//: property showSwitchNets = 0 7//: property discardChanges = 1 8//: property timingViolationMode = 2 9//: property initTime = "0 ns" 10//: require "tty" 11 12`timescale 1ns/1ns 13 14//: /netlistBegin PAGE1 15module PAGE1; //: root_module 16//: enddecls 17 18 //: comment g1 @(219,134) /sn:0 /anc:1 19 //: /line:"<img src=iface.gif>" 20 //: /end 21 //: comment g9 @(10,10) /anc:1 22 //: /line:"<h3>Personalización de TkGate</h3>" 23 //: /line:"" 24 //: /line:"This chapter introduces some of the options that can be customized in TkGate. Your option settings" 25 //: /line:"are stored in a file named \".tkgate2-preferences\" in your home directory." 26 //: /end 27 //: comment g0 @(10,310) /sn:0 /anc:1 28 //: /line:"<tutorial-navigation>" 29 //: /end 30 31endmodule 32//: /netlistEnd 33 34//: /netlistBegin PAGE3 35module PAGE3(); 36//: interface /sz:(40, 40) /bd:[ ] /pd: 0 /pi: 0 /pe: 0 /pp: 1 37//: enddecls 38 39 //: comment g1 @(134,181) /sn:0 /anc:1 40 //: /line:"<img src=example_bindings.gif>" 41 //: /end 42 //: comment g9 @(10,10) /anc:1 43 //: /line:"<h3>Personalización de TkGate</h3> <b>(setting your key beinding style)</b>" 44 //: /line:"" 45 //: /line:"You can the basic key-binding style that you would like to use on the <font color=red2>Interface</font> tab of the options dialog" 46 //: /line:"box. Currently you can choose between \"emacs\"-style and \"Windows\"-style. Chosing one of these" 47 //: /line:"options will make key bindings for operations such as cut/paste similar to either emacs or Windows," 48 //: /line:"although key bindings for gate creation operations will remain the same." 49 //: /end 50 //: comment g0 @(10,310) /sn:0 51 //: /line:"<tutorial-navigation>" 52 //: /end 53 54endmodule 55//: /netlistEnd 56 57//: /netlistBegin PAGE2 58module PAGE2(); 59//: interface /sz:(40, 40) /bd:[ ] /pd: 0 /pi: 0 /pe: 0 /pp: 1 60//: enddecls 61 62 //: comment g1 @(116,149) /sn:0 /anc:1 63 //: /line:"<img src=example_name.gif>" 64 //: /end 65 //: comment g9 @(10,10) /anc:1 66 //: /line:"<h3>Personalización de TkGate</h3> <b>(setting your personal identification)</b>" 67 //: /line:"" 68 //: /line:"To set your TkGate options, open the options dilaog box by selecting <font color=red2>File → Options</font> from the" 69 //: /line:"main menu. Enter your site name and user name in the \"Identity\" dialog box. The values you enter" 70 //: /line:"here will be used on any printed output from TkGate." 71 //: /end 72 //: comment g0 @(10,310) /sn:0 /anc:1 73 //: /line:"<tutorial-navigation>" 74 //: /end 75 76endmodule 77//: /netlistEnd 78 79