static/hold.svg

Fri, 18 Sep 2020 23:51:45 +0300

author
Teemu Piippo <teemu@hecknology.net>
date
Fri, 18 Sep 2020 23:51:45 +0300
changeset 145
fde18c4d6784
parent 64
1c0884f5506e
permissions
-rw-r--r--

refactoring: moved context-dependant data to new class LDrawContext. ldcheck no longer writes the config file, and looks for it in sensible locations like ~/.config and /etc. LDraw libraries can now be specified on the command line.

32
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
1 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
2 <!-- Created with Inkscape (http://www.inkscape.org/) -->
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
3 <svg id="svg6361" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns="http://www.w3.org/2000/svg" sodipodi:docname="process-stop.svg" xmlns:sodipodi="http://inkscape.sourceforge.net/DTD/sodipodi-0.dtd" height="48px" sodipodi:version="0.32" width="48px" xmlns:cc="http://web.resource.org/cc/" xmlns:xlink="http://www.w3.org/1999/xlink" sodipodi:docbase="/home/jimmac/gfx/ximian/tango-icon-theme/scalable/actions" xmlns:dc="http://purl.org/dc/elements/1.1/">
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
4 <defs id="defs3">
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
5 <radialGradient id="radialGradient21650" gradientUnits="userSpaceOnUse" cy="36.75" cx="25.125" gradientTransform="matrix(1 0 0 .59524 -2.3007e-15 14.875)" r="15.75">
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
6 <stop id="stop21646" offset="0"/>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
7 <stop id="stop21648" stop-opacity="0" offset="1"/>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
8 </radialGradient>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
9 <linearGradient id="linearGradient2057" y2="47.374" gradientUnits="userSpaceOnUse" x2="53.57" gradientTransform="translate(0 -2)" y1="12.504" x1="15.737">
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
10 <stop id="stop11782" stop-color="#ff8b8b" offset="0"/>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
11 <stop id="stop11784" stop-color="#ec1b1b" offset="1"/>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
12 </linearGradient>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
13 <linearGradient id="linearGradient4987" y2="37.96" gradientUnits="userSpaceOnUse" x2="41.048" gradientTransform="translate(0 -2)" y1="20.105" x1="23.996">
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
14 <stop id="stop4983" stop-color="#c00" offset="0"/>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
15 <stop id="stop4985" stop-color="#b30000" offset="1"/>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
16 </linearGradient>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
17 <radialGradient id="radialGradient2239" gradientUnits="userSpaceOnUse" cy="33.302" cx="24.302" gradientTransform="matrix(1.694 -5.7757e-16 5.7757e-16 1.694 -16.865 -25.111)" r="12.302">
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
18 <stop id="stop9649" stop-color="#fff" offset="0"/>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
19 <stop id="stop9651" stop-color="#dbdbdb" offset="1"/>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
20 </radialGradient>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
21 <radialGradient id="radialGradient2254" gradientUnits="userSpaceOnUse" cy="10.666" cx="16.75" gradientTransform="matrix(4.155 -2.9792e-24 3.2557e-24 3.1987 -52.846 -23.509)" r="21.25">
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
22 <stop id="stop2250" stop-color="#fff" offset="0"/>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
23 <stop id="stop2252" stop-color="#fff" stop-opacity="0" offset="1"/>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
24 </radialGradient>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
25 <linearGradient id="linearGradient2262" y2="35.052" gradientUnits="userSpaceOnUse" x2="24.302" gradientTransform="translate(0 -2)" y1="15.802" x1="21.75">
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
26 <stop id="stop2258" stop-color="#ff0202" offset="0"/>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
27 <stop id="stop2260" stop-color="#ff9b9b" offset="1"/>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
28 </linearGradient>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
29 </defs>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
30 <sodipodi:namedview id="base" bordercolor="#666666" pagecolor="#ffffff" showgrid="false" borderopacity="0.15294118" showguides="true"/>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
31 <metadata id="metadata4">
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
32 <rdf:RDF>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
33 <cc:Work rdf:about="">
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
34 <dc:format>image/svg+xml</dc:format>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
35 <dc:type rdf:resource="http://purl.org/dc/dcmitype/StillImage"/>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
36 <dc:title>Stop</dc:title>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
37 <dc:date>2005-10-16</dc:date>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
38 <dc:creator>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
39 <cc:Agent>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
40 <dc:title>Andreas Nilsson</dc:title>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
41 </cc:Agent>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
42 </dc:creator>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
43 <dc:subject>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
44 <rdf:Bag>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
45 <rdf:li>stop</rdf:li>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
46 <rdf:li>halt</rdf:li>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
47 <rdf:li>error</rdf:li>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
48 </rdf:Bag>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
49 </dc:subject>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
50 <cc:license rdf:resource="http://creativecommons.org/licenses/by-sa/2.0/"/>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
51 <dc:contributor>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
52 <cc:Agent>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
53 <dc:title>Jakub Steiner</dc:title>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
54 </cc:Agent>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
55 </dc:contributor>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
56 </cc:Work>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
57 <cc:License rdf:about="http://creativecommons.org/licenses/by-sa/2.0/">
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
58 <cc:permits rdf:resource="http://web.resource.org/cc/Reproduction"/>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
59 <cc:permits rdf:resource="http://web.resource.org/cc/Distribution"/>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
60 <cc:requires rdf:resource="http://web.resource.org/cc/Notice"/>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
61 <cc:requires rdf:resource="http://web.resource.org/cc/Attribution"/>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
62 <cc:permits rdf:resource="http://web.resource.org/cc/DerivativeWorks"/>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
63 <cc:requires rdf:resource="http://web.resource.org/cc/ShareAlike"/>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
64 </cc:License>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
65 </rdf:RDF>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
66 </metadata>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
67 <g id="layer1">
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
68 <path id="path21642" sodipodi:rx="15.75" sodipodi:ry="9.375" style="color:#000000" sodipodi:type="arc" d="m40.875 36.75a15.75 9.375 0 1 1 -31.5 0 15.75 9.375 0 1 1 31.5 0z" fill-rule="evenodd" opacity=".63068" transform="matrix(1.1738 0 0 0.6 -5.2659 19.575)" sodipodi:cy="36.75" sodipodi:cx="25.125" fill="url(#radialGradient21650)"/>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
69 <path id="path9480" d="m15.591 0.49192h17.085l12.822 13.094v17.894l-12.649 12.017h-17.43l-12.925-12.839 0.0004-17.194 13.097-12.972z" fill-rule="evenodd" sodipodi:nodetypes="ccccccccc" stroke="#860000" fill="url(#linearGradient4987)"/>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
70 <path id="path9482" opacity=".81319" d="m16.021 1.5003h16.228l12.247 12.423v17.114l-11.858 11.451h-16.768l-12.361-12.279 0.0001-16.363 12.512-12.346z" sodipodi:nodetypes="ccccccccc" stroke="url(#linearGradient2057)" fill="none"/>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
71 <path id="path2241" opacity=".28977" d="m15.688 0.75l-12.938 12.812v17l2.9375 2.907c16.762 0.057 16.478-13.019 39.562-11.875v-7.906l-12.688-12.938h-16.874z" fill-rule="evenodd" sodipodi:nodetypes="cccccccc" fill="url(#radialGradient2254)"/>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
72 <path id="path2787" stroke-linejoin="round" d="m16.767 10.5l-4.267 4.267 7.535 7.535-7.535 7.535 4.267 4.268 7.535-7.536 7.535 7.536 4.268-4.268-7.536-7.535 7.536-7.535-4.268-4.267-7.535 7.535-7.535-7.535z" fill-rule="evenodd" stroke="url(#linearGradient2262)" stroke-linecap="round" fill="url(#radialGradient2239)"/>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
73 </g>
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
74 </svg>

mercurial