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 &rarr; 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