equal
deleted
inserted
replaced
74 <appinfo> |
74 <appinfo> |
75 <meta.attribute kind="resource"/> |
75 <meta.attribute kind="resource"/> |
76 </appinfo> |
76 </appinfo> |
77 </annotation> |
77 </annotation> |
78 </attribute> |
78 </attribute> |
|
79 <attribute name="tooltip" type="string"> |
|
80 <annotation> |
|
81 <documentation> |
|
82 |
|
83 </documentation> |
|
84 </annotation> |
|
85 </attribute> |
79 <attribute name="order" type="string"> |
86 <attribute name="order" type="string"> |
80 <annotation> |
87 <annotation> |
81 <documentation> |
88 <documentation> |
82 relative ordering of pages in the navigation bar (integer used to sort pages) |
89 relative ordering of pages in the navigation bar (integer used to sort pages) |
83 </documentation> |
90 </documentation> |