function WindowSelector() {
    this.modal = new Modal();
    this.modal.appearance = 'dark';
    var screen_frame = Screen.main().frameInRectangle();
    this.modal.origin = {
        x: screen_frame.x + 100,
        y: screen_frame.height - 100,
    };
    this.initialize();
    this.setupKeys();
}
/* For licensing information, refer to LICENSE.md. */
For licensing information, refer to LICENSE.md.
For licensing information refer to LICENSE . md .
function WindowSelector() {
    this.modal = new Modal();
    this.modal.appearance = 'dark';
    var screen_frame = Screen.main().frameInRectangle();
    this.modal.origin = {
        x: screen_frame.x + 100,
        y: screen_frame.height - 100,
    };
    this.initialize();
    this.setupKeys();
}
function WindowSelector ( ) { this . modal = new Modal ( ) ; this . modal . appearance = 'dark' ; var screen_frame = Screen . main ( ) . frameInRectangle ( ) ; this . modal . origin = { x : screen_frame . x + 100 , y : screen_frame . height - 100 , } ; this . initialize ( ) ; this . setupKeys ( ) ; }
For licensing information, refer to LICENSE.md.
For licensing information refer to LICENSE . md .