Method resize

code/main/RenderArea.ts:455–516

(newWidth: number, newHeight: number, character: string = " ")

    }
    
    public resize(newWidth: number, newHeight: number, character: string = " "): boolean{
        // We store the old size
        var oldWidth = this.width;
        var oldHeight = this.height;
        
        // We check if the character is correct, return false if it isn't
        if(character.length != 1)
            return false;
        
        // We try to change the size, return false if failure
        if(this.setSize(newWidth, newHeight) == false)
            return false;
        
        // We resize the height
        if(newHeight > oldHeight){ // If the new height is higher
            for(var i = oldHeight; i < newHeight; i++){ // We add the lines corresponding to the new height
                // We resize the tags
                this.tags.push([]);
                
                // We resize the area
                this.area.push("");
                // If the new width is higher
                if(newWidth > oldWidth){
                    for(var j = 0; j < oldWidth; j++){ // We fill the new lines from 0 to the old width
                        this.area[i] += character;
                    }
                }
                // Else, if the old width is higher
                else if(oldWidth > newWidth){
                    for(var j = 0; j < newWidth; j++){ // We fill the new lines from 0 to the new width
                        this.area[i] += character;
                    }
                }
            }
        }
        else if(oldHeight > newHeight){ // Else, if the old height was higher
            // We resize the tags
            this.tags.splice(this.tags.length - (oldHeight - newHeight), oldHeight - newHeight); // We remove some lines to reduce the height
            
            // We resize the area
            this.area.splice(this.area.length - (oldHeight - newHeight), oldHeight - newHeight); // We remove some lines to reduce the height
        }
        
        // We resize the width
        if(newWidth > oldWidth){ // If the new width is higher
            // We add characters at the end of the lines (lines 0 to new height)
            for(var i = 0; i < newHeight; i++){
                for(var j = oldWidth; j < newWidth; j++){
                    this.area[i] += character;
                }
            }
        }
        else if(oldWidth > newWidth){ // Else, if the old width was higher
            // We each line (0 to new height), we only keep the beginning of the string
            for(var i = 0; i < newHeight; i++){
                this.area[i] = this.area[i].substr(0, newWidth);
            }
        }