File: layout.styles.db.view.xml

package info (click to toggle)
mysql-gui-tools 5.0r12-1
  • links: PTS
  • area: main
  • in suites: lenny
  • size: 105,540 kB
  • ctags: 50,897
  • sloc: sql: 348,439; pascal: 285,780; cpp: 94,578; ansic: 90,768; objc: 33,761; sh: 25,629; xml: 10,924; yacc: 10,755; java: 9,986; php: 2,806; python: 2,068; makefile: 1,945; perl: 3
file content (78 lines) | stat: -rw-r--r-- 3,593 bytes parent folder | download | duplicates (4)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
<?xml version="1.0" encoding="UTF-8"?>
<gc-styles xmlns="http://dev.mysql.com/gc/styles" xmlns:svg="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">

  <!-- View ******************************************************************************************* -->
  <style-definition id="db.view.header.edit">
    <svg:svg>
      <g>
        <rect fill="#FFFFFF" stroke="#AAAAAA" width="26" height="22"/>
        
        <polygon fill="#808080" points="5.009,16.635 5,19.772 8.146,19.771 	"/>
        <polygon fill="#808080" points="5.778,17.442 5.001,16.659 6.229,14.815 7.011,15.605 "/>
        <polygon fill="#808080" points="8.146,19.771 7.438,19.096 9.059,17.646 9.853,18.434 "/>
        <polygon fill="#808080" points="15.709,5.308 19.379,8.978 9.835,18.451 6.199,14.838 "/>        
        <rect x="18.483" y="2.221" transform="matrix(-0.7075 0.7068 -0.7068 -0.7075 37.3312 -5.8223)" fill="#808080" width="2.775" height="5.189"/>
      </g>
    </svg:svg>
  </style-definition>

  <style-definition id="db.view.header.lock">
    <svg:svg>
      <g>
        <rect fill="#FFFFFF" stroke="#AAAAAA" width="26" height="22"/>
        
        <rect x="8" y="9.127" fill="#808080" width="10.61" height="7.873"/>
        <circle fill="#FFFFFF" cx="13.283" cy="12.014" r="1.414"/>
        <rect x="12.605" y="13.203" fill="#FFFFFF" width="1.358" height="2.346"/>
        <polygon fill="#808080" points="9.369,9.495 9.369,7.075 9.606,5.729 10.29,4.545 
          11.337,3.666 12.622,3.198 13.988,3.198 15.273,3.666 16.32,4.545 17.004,5.729 17.242,7.075 17.242,9.495 "/>
        <polygon fill="#FFFFFF" points="10.921,9.127 10.921,7.08 11.065,6.266 11.479,5.549 
          12.113,5.016 12.891,4.732 13.719,4.732 14.497,5.016 15.131,5.549 15.545,6.266 15.689,7.08 15.689,9.127 "/>
      </g>
    </svg:svg>
  </style-definition>
  
  <style-definition id="db.view.header.plugins">
    <svg:svg>
      <g>
        <rect fill="#FFFFFF" stroke="#AAAAAA" width="26" height="22"/>
        
        <rect x="11.188" y="9.766" fill="#808080" width="9.266" height="9.234"/>
        <rect x="12.219" y="10.797" fill="#FFFFFF" width="7.219" height="1.719"/>
        <rect x="12.219" y="13.547" fill="#FFFFFF" width="7.219" height="1.719"/>
        <rect x="12.219" y="16.266" fill="#FFFFFF" width="7.219" height="1.719"/>
        <polygon fill="#808080" points="5,2.641 5,11.391 6.979,9.412 8.854,13.225 9.417,13.225 
          10.368,12.557 10.446,12.025 8.688,8.703 11.021,8.703 "/>
      </g>
    </svg:svg>
  </style-definition>
  
  <style-definition id="db.view.header.right.closed">
    <svg:svg>
      <g>
        <polyline fill="#FFFFFF" stroke="#AAAAAA" points="0,22 22,22 22,7.586 21.677,5.961 21.043,4.429 20.122,3.051 
          18.949,1.878 17.571,0.957 16.04,0.323 14.414,0 0,0 "/>
        <polygon fill="#000000" points="7,17.413 15,11 7,5 "/>
      </g>
    </svg:svg>
  </style-definition>
  
  <style-definition id="db.view.header.right.opened">
    <svg:svg>
      <g>
        <polyline fill="#FFFFFF" stroke="#AAAAAA" points="0,22 22,22 22,7.586 21.677,5.961 21.043,4.429 20.122,3.051 
          18.949,1.878 17.571,0.957 16.04,0.323 14.414,0 0,0 "/>
        <polygon fill="#000000" points="4.793,8 11.206,16 17.206,8 "/>
      </g>
    </svg:svg>
  </style-definition>
  
  <style-definition id="db.view.body.middle">
    <svg:svg>
      <g>
        <polyline fill="#FFFFFF" stroke="#AAAAAA" points="0,0 297,0 297,80 0,80 "/>
      </g>
    </svg:svg>
  </style-definition>
  
</gc-styles>