_window.scss2.html 8.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252
  1. <!DOCTYPE html>
  2. <html>
  3. <head>
  4. <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
  5. <title>The source code</title>
  6. <link href="../resources/prettify/prettify.css" type="text/css" rel="stylesheet" />
  7. <script type="text/javascript" src="../resources/prettify/prettify.js"></script>
  8. <style type="text/css">
  9. .highlight { display: block; background-color: #ddd; }
  10. </style>
  11. <script type="text/javascript">
  12. function highlight() {
  13. document.getElementById(location.hash.replace(/#/, "")).className = "highlight";
  14. }
  15. </script>
  16. </head>
  17. <body onload="prettyPrint(); highlight();">
  18. <pre class="prettyprint lang-js"><span id='Ext-window-Window-css_mixin-extjs-window'>/**
  19. </span> * Creates the base structure of an Ext.Window
  20. * @member Ext.window.Window
  21. */
  22. @mixin extjs-window {
  23. .#{$prefix}window {
  24. outline: none;
  25. overflow: hidden;
  26. .#{$prefix}window-wrap {
  27. position: relative;
  28. }
  29. }
  30. .#{$prefix}window-body {
  31. position: relative;
  32. border-style: $window-body-border-style;
  33. overflow: hidden;
  34. }
  35. //maximized window
  36. .#{$prefix}window-maximized {
  37. .#{$prefix}window-wrap {
  38. .#{$prefix}window-header {
  39. @include important-no-border-radius;
  40. }
  41. }
  42. }
  43. .#{$prefix}window-header-top {
  44. margin-bottom: -2px;
  45. }
  46. .#{$prefix}window-header-body-horizontal {
  47. margin-top: -1px;
  48. }
  49. .#{$prefix}window-header-bottom {
  50. margin-top: -1px;
  51. margin-bottom: -1px;
  52. }
  53. .#{$prefix}window-header-left {
  54. margin-right: -1px;
  55. }
  56. .#{$prefix}window-header-right {
  57. margin-left: -1px;
  58. }
  59. .#{$prefix}window-header-vertical {
  60. .#{$prefix}surface {
  61. padding-left: 1px;
  62. }
  63. }
  64. // collapsed window header styles
  65. .#{$prefix}window-collapsed {
  66. .#{$prefix}window-header-vertical {
  67. @include border-radius(5px);
  68. }
  69. .#{$prefix}window-header-horizontal {
  70. @include border-radius(5px);
  71. }
  72. // Padding changes for collapsed headers.
  73. .#{$prefix}window-header-left {
  74. padding-right: 5px !important;
  75. margin-right: 0;
  76. }
  77. .#{$prefix}window-header-right {
  78. padding-left: 5px !important;
  79. margin-left: 0;
  80. }
  81. .#{$prefix}window-header-top {
  82. padding-bottom: 5px !important;
  83. margin-bottom: -1px;
  84. }
  85. .#{$prefix}window-header-bottom {
  86. padding-top: 5px !important;
  87. margin-top: 0;
  88. }
  89. }
  90. .#{$prefix}window-header-left,
  91. .#{$prefix}window-header-right {
  92. .#{$prefix}vml-base {
  93. left: -3px !important;
  94. }
  95. }
  96. .#{$prefix}opera,
  97. .#{$prefix}strict .#{$prefix}ie9 {
  98. .#{$prefix}window-header-vertical {
  99. .#{$prefix}surface {
  100. padding-left: 2px;
  101. }
  102. }
  103. }
  104. .#{$prefix}window-header-text-container {
  105. overflow: hidden;
  106. -o-text-overflow: ellipsis;
  107. text-overflow: ellipsis;
  108. }
  109. .#{$prefix}window-header-text {
  110. @include no-select;
  111. white-space: nowrap;
  112. }
  113. @include extjs-window-ui(
  114. 'default',
  115. $ui-border-radius: $window-border-radius,
  116. $ui-border-color: $window-border-color,
  117. $ui-inner-border-color: $window-inner-border-color,
  118. $ui-header-color: $window-header-color,
  119. $ui-body-border-color: $window-body-border-color,
  120. $ui-body-background-color: $window-body-background-color,
  121. $ui-body-color: $window-body-color,
  122. $ui-background-color: $window-background-color
  123. );
  124. .#{$prefix}window-body-plain {
  125. background: transparent;
  126. }
  127. }
  128. <span id='Ext-window-Window-css_mixin-extjs-window-ui'>/**
  129. </span> * Creates a visual theme for an Ext.Panel
  130. * @member Ext.window.Window
  131. */
  132. @mixin extjs-window-ui(
  133. $ui-label,
  134. $ui-padding: null,
  135. $ui-border-radius: null,
  136. $ui-border-color: null,
  137. $ui-inner-border-color: null,
  138. $ui-header-color: null,
  139. $ui-header-font-size: $window-header-font-size,
  140. $ui-header-font-weight: $window-header-font-weight,
  141. $ui-body-border-color: null,
  142. $ui-body-background-color: null,
  143. $ui-body-color: null,
  144. $ui-background-color: null
  145. ){
  146. $ui-header-text-height: $window-header-line-height;
  147. .#{$prefix}window-#{$ui-label} {
  148. @if $ui-border-color != null { border-color: $ui-border-color; }
  149. @if $ui-border-radius != null { @include border-radius($ui-border-radius); }
  150. @if $ui-inner-border-color != null { @include inner-border($window-inner-border-width, $ui-inner-border-color); }
  151. }
  152. @if $ui-border-radius != null {
  153. @include x-frame(
  154. 'window',
  155. $ui-label,
  156. $border-radius: $ui-border-radius,
  157. $border-width: $window-border-width,
  158. $padding: $ui-padding,
  159. $background-color: $ui-background-color
  160. );
  161. }
  162. .#{$prefix}window-body-#{$ui-label} {
  163. @if $ui-body-border-color !=null {
  164. border-color: $ui-body-border-color;
  165. border-width: $window-body-border-width;
  166. }
  167. @if $ui-body-background-color != null { background: $ui-body-background-color; }
  168. @if $ui-body-color != null { color: $ui-body-color; }
  169. }
  170. .#{$prefix}window-header-#{$ui-label} {
  171. @if $ui-header-font-size != null { font-size: $ui-header-font-size; }
  172. @if $ui-border-color != null { border-color: $ui-border-color; }
  173. zoom:1;
  174. }
  175. .#{$prefix}window-header-text-#{$ui-label} {
  176. @if $ui-header-color != null { color: $ui-header-color; }
  177. @if $ui-header-font-weight != null { font-weight: $ui-header-font-weight; }
  178. line-height: $ui-header-text-height;
  179. font-family: $font-family;
  180. font-size: $ui-header-font-size;
  181. }
  182. @if $ui-border-radius != null {
  183. @include x-frame('window-header', '#{$ui-label}-top', top($ui-border-radius) right($ui-border-radius) 0 0, top($window-border-width) right($window-border-width) 0 left($window-border-width), 4px 5px 0, $ui-background-color);
  184. @include x-frame('window-header', '#{$ui-label}-right', 0 right($ui-border-radius) bottom($ui-border-radius) 0, top($window-border-width) right($window-border-width) bottom($window-border-width) 0, 5px 4px 5px 0, $ui-background-color);
  185. @include x-frame('window-header', '#{$ui-label}-bottom', 0 0 bottom($ui-border-radius) left($ui-border-radius), 0 right($window-border-width) bottom($window-border-width) left($window-border-width), 0 5px 4px, $ui-background-color);
  186. @include x-frame('window-header', '#{$ui-label}-left', top($ui-border-radius) 0 0 left($ui-border-radius), top($window-border-width) 0 bottom($window-border-width) left($window-border-width), 5px 0px 5px 4px, $ui-background-color);
  187. // collapsed window header styles
  188. @include x-frame('window-header', '#{$ui-label}-collapsed-top', $ui-border-radius, $window-border-width, 4px 5px 4px, $ui-background-color);
  189. @include x-frame('window-header', '#{$ui-label}-collapsed-right', $ui-border-radius, $window-border-width, 5px 4px, $ui-background-color);
  190. @include x-frame('window-header', '#{$ui-label}-collapsed-bottom', $ui-border-radius, $window-border-width, 4px 5px 4px, $ui-background-color);
  191. @include x-frame('window-header', '#{$ui-label}-collapsed-left', $ui-border-radius, $window-border-width, 5px 4px, $ui-background-color);
  192. }
  193. .#{$prefix}window-header-#{$ui-label}-top {
  194. @include inner-border(1px 1px 0, $ui-inner-border-color);
  195. }
  196. .#{$prefix}window-header-#{$ui-label}-right {
  197. @include inner-border(1px 1px 1px 0, $ui-inner-border-color);
  198. }
  199. .#{$prefix}window-header-#{$ui-label}-bottom {
  200. @include inner-border(0px 1px 1px, $ui-inner-border-color);
  201. }
  202. .#{$prefix}window-header-#{$ui-label}-left {
  203. @include inner-border(1px 0 1px 1px, $ui-inner-border-color);
  204. }
  205. }
  206. </pre>
  207. </body>
  208. </html>