Home
last modified time | relevance | path

Searched refs:_marginWidth (Results 1 – 7 of 7) sorted by relevance

/dports/cad/alliance/alliance/src/ocp/src/placer/
H A DPDetToPlaceIns.h40 double _marginWidth; variable
51 void SetMarginWidth(const double mwidth) { _marginWidth = mwidth; } in SetMarginWidth()
52 double GetMarginWidth() const { return _marginWidth; } in GetMarginWidth()
56 void AddWhiteSpace() { ++_marginWidth; } in AddWhiteSpace()
57 void AddDoubleWhiteSpace() { _marginWidth += 2; } in AddDoubleWhiteSpace()
H A DPDetToPlaceIns.cpp44 , _marginWidth(toplaceins->GetWidth()) in PDetToPlaceIns()
/dports/www/kf5-khtml/khtml-5.89.0/src/
H A Dkhtmlview.h161 return _marginWidth; in marginWidth()
549 int _marginWidth; variable
H A Dkhtmlview.cpp603 _marginWidth = -1; // undefined in initWidget()
972 _marginWidth = w; in setMarginWidth()
/dports/lang/mono/mono-5.10.1.57/mcs/class/referencesource/System.Web.Mobile/UI/MobileControls/Design/Adapters/
H A DDesignerAdapterUtil.cs29 private const int _marginWidth = 10; field in System.Web.UI.Design.MobileControls.Adapters.DesignerAdapterUtil
386 maxWidth = GetLength(htmlElement2Parent) - _marginWidth - parentChildOffset; in GetMaxWidthToFit()
/dports/emulators/mesen/Mesen-0.9.8-4-g4c701ad6/GUI.NET/Debugger/Controls/
H A DctrlTextbox.cs49 private int _marginWidth = 9; field in Mesen.GUI.Debugger.ctrlTextbox
286 this._marginWidth = value;
459 …wContentNotes && this.ShowSingleContentLineNotes ? _marginWidth + _extendedMarginWidth : _marginWi… in GetMargin()
/dports/x11-toolkits/py-wxPython40/wxPython-4.0.7/wx/lib/agw/
H A Dflatmenu.py5328 self._marginWidth = 26
5645 self._marginWidth = (self._marginWidth > bmpWidth and [self._marginWidth] or [bmpWidth])[0]
5659 self._imgMarginX = self._marginWidth + 2*self._borderXWidth
5660 self._leftMarginWidth = 2 * self._marginWidth + 2*self._borderXWidth
5664 … self._leftMarginWidth = ((self._leftMarginWidth > self._marginWidth + 2*self._borderXWidth) and \
5665 … [self._leftMarginWidth] or [self._marginWidth + 2*self._borderXWidth])[0]
5668 self._textX = self._imgMarginX + self._marginWidth + self._textPadding
6771 self._menuWidth = 2*self._marginWidth
6774 self._textX = self._marginWidth