/plugin/statistics/inc/pchart/ |
H A D | BackgroundStyle.php | 28 public function __construct(Color $backgroundColor, $stripe = false, Color $gradientStartColor = null, $gradientDecay = null, $borderWidth = 1, $borderDotSize = 0) { argument 33 $this->borderWidth = $borderWidth; 66 return $this->borderWidth; 81 private $borderWidth; variable in BackgroundStyle
|
/plugin/statdisplay/pchart/ |
H A D | BackgroundStyle.php | 30 …ipe = false, Color $gradientStartColor = null, $gradientDecay = null, $borderWidth = 1, $borderDot… argument 35 $this->borderWidth = $borderWidth; 68 return $this->borderWidth; 83 private $borderWidth; variable in BackgroundStyle
|
/plugin/jcapture/src/com/hammurapi/jcapture/ |
H A D | CaptureFrame.java | 331 int borderWidth = 1; in record() local 338 if (rr.x>=borderWidth) { in record() 342 borderFrames[0].setSize(borderWidth, rr.height+borderWidth*2); in record() 343 borderFrames[0].setLocation(rr.x-borderWidth, rr.y-borderWidth); in record() 349 if (rr.x+rr.width<dim.width-borderWidth) { in record() 353 borderFrames[1].setSize(borderWidth, rr.height+borderWidth*2); in record() 360 if (rr.y>=borderWidth) { in record() 364 borderFrames[2].setSize(rr.width, borderWidth); in record() 365 borderFrames[2].setLocation(rr.x, rr.y-borderWidth); in record() 371 if (rr.y+rr.height<dim.height-borderWidth) { in record() [all …]
|
/plugin/pgn4web/pgn4web/ |
H A D | analysis.css | 49 …left: 115px; /* 30px boardTable.paddingLeft + 376px boardTable.width - 3px boardTable.borderWidth … 56 margin-top: 222px; /* 210 header + 3 boardTable.borderWidth + 9 filling */
|
/plugin/diagramsnet/lib/js/ |
H A D | embed.dev.js | 660 table.style.borderWidth = '0px';
|
/plugin/diagramsnet/lib/js/diagramly/ |
H A D | Embed.js | 660 table.style.borderWidth = '0px';
|
/plugin/diagramsnet/lib/resources/ |
H A D | dia_i18n.txt | 71 borderWidth=borderWidth
|
H A D | dia_ru.txt | 71 borderWidth=Толщина границы
|
H A D | dia_bg.txt | 71 borderWidth=Ширина на рамката
|
H A D | dia_el.txt | 71 borderWidth=Πλάτος Περιγράμματος
|
H A D | dia_zh.txt | 71 borderWidth=边框宽度
|
H A D | dia_uk.txt | 71 borderWidth=Ширина межі
|
H A D | dia_fa.txt | 71 borderWidth=عرض مرز
|
H A D | dia_ja.txt | 71 borderWidth=枠線の太さ
|
H A D | dia_he.txt | 71 borderWidth=רוחב גבול
|
H A D | dia_ko.txt | 71 borderWidth=테두리 너비
|
H A D | dia_th.txt | 71 borderWidth=ความกว้างเส้นขอบ
|
H A D | dia_zh-tw.txt | 71 borderWidth=邊框寬度
|
H A D | dia_ar.txt | 71 borderWidth=عرض الحد
|
/plugin/diagramsnet/lib/js/grapheditor/ |
H A D | Dialogs.js | 13 iframe.style.borderWidth = '0px'; 2069 ldiv.style.borderWidth = '1px 0px 0px 0px'; 2330 ldiv.style.borderWidth = '0px 0px 1px 0px';
|
H A D | Format.js | 462 label.style.borderWidth = '0px 0px 1px 1px'; 1733 panel.style.borderWidth = '0px'; 2184 stylePanel.style.borderWidth = '0px'; 3085 stylePanel.style.borderWidth = '0px'; 5415 perimeterPanel.style.borderWidth = '0px';
|
/plugin/pdfjs/pdfjs/build/ |
H A D | pdf.js | 19685 container.style.borderWidth = 0; 20337 var borderWidth = data.borderStyle.width; 20339 square.setAttribute('x', borderWidth / 2); 20340 square.setAttribute('y', borderWidth / 2); 20341 square.setAttribute('width', width - borderWidth); 20343 square.setAttribute('stroke-width', borderWidth); 20378 var borderWidth = data.borderStyle.width; 20384 circle.setAttribute('stroke-width', borderWidth); 20434 var borderWidth = data.borderStyle.width; 20437 polyline.setAttribute('stroke-width', borderWidth); [all …]
|
/plugin/sketchcanvas/script/ |
H A D | SketchCanvas.js | 1713 lay.style.borderWidth = '2px';
2284 lay.style.borderWidth = '2px';
|
/plugin/jcapture/lib/ |
H A D | jcapture.jar | META-INF/MANIFEST.MF
META-INF/HAMMURAP.SF
META-INF/HAMMURAP ... |
/plugin/twcheckliste/theme_twCheckliste/ |
H A D | packery.pkgd.min.js | 12 …,o.style.padding="1px 2px 3px 4px",o.style.borderStyle="solid",o.style.borderWidth="1px 2px 3px 4p…
|