Searched refs:defaultMenuWidth (Results 1 – 6 of 6) sorted by relevance
52 defaultMenuWidth: number;74 defaultMenuWidth: 256,273 return (this.theme.defaultMenuWidth - this.theme.expandedOptionPadding * 2 -325 .width(this.theme.defaultMenuWidth)445 .width(this.theme.defaultMenuWidth)454 .width(this.theme.defaultMenuWidth)
30 defaultMenuWidth: 256, property in defaultTheme464 return (this.theme.defaultMenuWidth - this.theme.expandedOptionPadding * 2 -480 Flex.width(this.theme.defaultMenuWidth);549 Column.width(this.theme.defaultMenuWidth);580 Menu.width(this.theme.defaultMenuWidth);
72 defaultMenuWidth: number;95 defaultMenuWidth: 256,157 .width(this.theme.defaultMenuWidth)159 .width(this.theme.defaultMenuWidth)
104 .width(this.theme.defaultMenuWidth)106 .width(this.theme.defaultMenuWidth)
2026 defaultMenuWidth: number;2049 defaultMenuWidth: 256,2397 .width(this.theme.defaultMenuWidth)2475 .width(this.theme.defaultMenuWidth)2477 .width(this.theme.defaultMenuWidth)
2025 defaultMenuWidth: number;2048 defaultMenuWidth: 256,2396 .width(this.theme.defaultMenuWidth)2474 .width(this.theme.defaultMenuWidth)2476 .width(this.theme.defaultMenuWidth)