66'use strict' ;
77
88import 'vs/css!./sash' ;
9- import Lifecycle = require ( 'vs/base/common/lifecycle' ) ;
10- import Builder = require ( 'vs/base/browser/builder' ) ;
11- import Browser = require ( 'vs/base/browser/browser' ) ;
12- import Types = require( 'vs/base/common/types' ) ;
9+ import { IDisposable , disposeAll } from 'vs/base/common/lifecycle' ;
10+ import { Builder , $ } from 'vs/base/browser/builder' ;
11+ import { isIPad } from 'vs/base/browser/browser' ;
12+ import types = require( 'vs/base/common/types' ) ;
1313import DOM = require( 'vs/base/browser/dom' ) ;
14- import Touch = require( 'vs/base/browser/touch' ) ;
15- import Events = require( 'vs/base/common/eventEmitter' ) ;
16- import Mouse = require( 'vs/base/browser/mouseEvent' ) ;
17-
18- var $ = < Builder . QuickBuilder > Builder . $ ;
14+ import { Gesture , EventType , GestureEvent } from 'vs/base/browser/touch' ;
15+ import { EventEmitter } from 'vs/base/common/eventEmitter' ;
16+ import { StandardMouseEvent } from 'vs/base/browser/mouseEvent' ;
1917
2018export interface ISashLayoutProvider { }
2119
@@ -50,10 +48,10 @@ export enum Orientation {
5048 HORIZONTAL
5149}
5250
53- export class Sash extends Events . EventEmitter {
51+ export class Sash extends EventEmitter {
5452
55- private $e : Builder . Builder ;
56- private gesture : Touch . Gesture ;
53+ private $e : Builder ;
54+ private gesture : Gesture ;
5755 private layoutProvider : ISashLayoutProvider ;
5856 private isDisabled : boolean ;
5957 private hidden : boolean ;
@@ -65,17 +63,17 @@ export class Sash extends Events.EventEmitter {
6563
6664 this . $e = $ ( '.monaco-sash' ) . appendTo ( container ) ;
6765
68- this . gesture = new Touch . Gesture ( this . $e . getHTMLElement ( ) ) ;
66+ this . gesture = new Gesture ( this . $e . getHTMLElement ( ) ) ;
6967
7068 this . $e . on ( 'mousedown' , ( e : MouseEvent ) => { this . onMouseDown ( e ) ; } ) ;
71- this . $e . on ( Touch . EventType . Start , ( e : Touch . GestureEvent ) => { this . onTouchStart ( e ) ; } ) ;
69+ this . $e . on ( EventType . Start , ( e : GestureEvent ) => { this . onTouchStart ( e ) ; } ) ;
7270
7371 this . orientation = options . orientation || Orientation . VERTICAL ;
7472 this . $e . addClass ( this . orientation === Orientation . HORIZONTAL ? 'horizontal' : 'vertical' ) ;
7573
7674 this . size = options . baseSize || 5 ;
7775
78- if ( Browser . isIPad ) {
76+ if ( isIPad ) {
7977 this . size *= 4 ; // see also http://ux.stackexchange.com/questions/39023/what-is-the-optimum-button-size-of-touch-screen-applications
8078 this . $e . addClass ( 'touch' ) ;
8179 }
@@ -102,11 +100,11 @@ export class Sash extends Events.EventEmitter {
102100 return ;
103101 }
104102
105- var mouseDownEvent = new Mouse . StandardMouseEvent ( e ) ;
106- var startX = mouseDownEvent . posx ;
107- var startY = mouseDownEvent . posy ;
103+ let mouseDownEvent = new StandardMouseEvent ( e ) ;
104+ let startX = mouseDownEvent . posx ;
105+ let startY = mouseDownEvent . posy ;
108106
109- var startEvent : ISashEvent = {
107+ let startEvent : ISashEvent = {
110108 startX : startX ,
111109 currentX : startX ,
112110 instantDiffX : 0 ,
@@ -118,7 +116,7 @@ export class Sash extends Events.EventEmitter {
118116 this . $e . addClass ( 'active' ) ;
119117 this . emit ( 'start' , startEvent ) ;
120118
121- var overlayDiv = $ ( 'div' ) . style ( {
119+ let overlayDiv = $ ( 'div' ) . style ( {
122120 position : 'absolute' ,
123121 top : 0 ,
124122 left : 0 ,
@@ -128,16 +126,16 @@ export class Sash extends Events.EventEmitter {
128126 cursor : this . orientation === Orientation . VERTICAL ? 'ew-resize' : 'ns-resize'
129127 } ) ;
130128
131- var $window = $ ( window ) ;
129+ let $window = $ ( window ) ;
132130
133- var lastCurrentX = startX ;
134- var lastCurrentY = startY ;
131+ let lastCurrentX = startX ;
132+ let lastCurrentY = startY ;
135133
136134 $window . on ( 'mousemove' , ( e : MouseEvent ) => {
137135 DOM . EventHelper . stop ( e , false ) ;
138- var mouseMoveEvent = new Mouse . StandardMouseEvent ( e ) ;
136+ let mouseMoveEvent = new StandardMouseEvent ( e ) ;
139137
140- var event : ISashEvent = {
138+ let event : ISashEvent = {
141139 startX : startX ,
142140 currentX : mouseMoveEvent . posx ,
143141 instantDiffX : mouseMoveEvent . posx - lastCurrentX ,
@@ -162,13 +160,13 @@ export class Sash extends Events.EventEmitter {
162160 overlayDiv . appendTo ( document . body ) ;
163161 }
164162
165- private onTouchStart ( event : Touch . GestureEvent ) : void {
163+ private onTouchStart ( event : GestureEvent ) : void {
166164 DOM . EventHelper . stop ( event ) ;
167165
168- var listeners : Lifecycle . IDisposable [ ] = [ ] ;
166+ let listeners : IDisposable [ ] = [ ] ;
169167
170- var startX = event . pageX ;
171- var startY = event . pageY ;
168+ let startX = event . pageX ;
169+ let startY = event . pageY ;
172170
173171 this . emit ( 'start' , {
174172 startX : startX ,
@@ -179,11 +177,11 @@ export class Sash extends Events.EventEmitter {
179177 instantDiffY : 0
180178 } ) ;
181179
182- var lastCurrentX = startX ;
183- var lastCurrentY = startY ;
180+ let lastCurrentX = startX ;
181+ let lastCurrentY = startY ;
184182
185- listeners . push ( DOM . addDisposableListener ( this . $e . getHTMLElement ( ) , Touch . EventType . Change , ( event : Touch . GestureEvent ) => {
186- if ( Types . isNumber ( event . pageX ) && Types . isNumber ( event . pageY ) ) {
183+ listeners . push ( DOM . addDisposableListener ( this . $e . getHTMLElement ( ) , EventType . Change , ( event : GestureEvent ) => {
184+ if ( types . isNumber ( event . pageX ) && types . isNumber ( event . pageY ) ) {
187185 this . emit ( 'change' , {
188186 startX : startX ,
189187 currentX : event . pageX ,
@@ -198,17 +196,17 @@ export class Sash extends Events.EventEmitter {
198196 }
199197 } ) ) ;
200198
201- listeners . push ( DOM . addDisposableListener ( this . $e . getHTMLElement ( ) , Touch . EventType . End , ( event : Touch . GestureEvent ) => {
199+ listeners . push ( DOM . addDisposableListener ( this . $e . getHTMLElement ( ) , EventType . End , ( event : GestureEvent ) => {
202200 this . emit ( 'end' ) ;
203- Lifecycle . disposeAll ( listeners ) ;
201+ disposeAll ( listeners ) ;
204202 } ) ) ;
205203 }
206204
207205 public layout ( ) : void {
208- var style : { top ?: string ; left ?: string ; height ?: string ; width ?: string ; } ;
206+ let style : { top ?: string ; left ?: string ; height ?: string ; width ?: string ; } ;
209207
210208 if ( this . orientation === Orientation . VERTICAL ) {
211- var verticalProvider = ( < IVerticalSashLayoutProvider > this . layoutProvider ) ;
209+ let verticalProvider = ( < IVerticalSashLayoutProvider > this . layoutProvider ) ;
212210 style = { left : verticalProvider . getVerticalSashLeft ( this ) - ( this . size / 2 ) + 'px' } ;
213211
214212 if ( verticalProvider . getVerticalSashTop ) {
@@ -219,7 +217,7 @@ export class Sash extends Events.EventEmitter {
219217 style . height = verticalProvider . getVerticalSashHeight ( this ) + 'px' ;
220218 }
221219 } else {
222- var horizontalProvider = ( < IHorizontalSashLayoutProvider > this . layoutProvider ) ;
220+ let horizontalProvider = ( < IHorizontalSashLayoutProvider > this . layoutProvider ) ;
223221 style = { top : horizontalProvider . getHorizontalSashTop ( this ) - ( this . size / 2 ) + 'px' } ;
224222
225223 if ( horizontalProvider . getHorizontalSashLeft ) {
0 commit comments