<commit_before>function HTMLVideo(ctx, url) {
    this.ctx = ctx;

    var videoElement = document.createElement('video');
    videoElement.autoplay = true;
    videoElement.loop = true;
    videoElement.volume = 0;
    videoElement.src = url || '';

    this.videoElement = videoElement;

    //TODO: handle different video size
    this.videoTexture = ctx.createTexture2D(null, 1280, 1280);

    Object.defineProperty(this, 'src', {
        get: function() {
            return this.videoElement.src;
        },
        set: function(value) {
            this.videoElement.src = value;
        }
    });

    Object.defineProperty(this, 'duration', {
        get: function() { return this.videoElement.duration; }
    });

    Object.defineProperty(this, 'currentTime', {
        get: function() { return this.videoElement.currentTime; },
        set: function(time) { this.videoElement.currentTime = time; }
    });

    Object.defineProperty(this, 'loop', {<commit_msg>HTMLVideo allocate small texture initially<commit_after>function HTMLVideo(ctx, url) {
    this.ctx = ctx;

    var videoElement = document.createElement('video');
    videoElement.autoplay = true;
    videoElement.loop = true;
    videoElement.volume = 0;
    videoElement.src = url || '';

    this.videoElement = videoElement;

    this.videoTexture = ctx.createTexture2D(null, 1, 1);

    Object.defineProperty(this, 'src', {
        get: function() {
            return this.videoElement.src;
        },
        set: function(value) {
            this.videoElement.src = value;
        }
    });

    Object.defineProperty(this, 'duration', {
        get: function() { return this.videoElement.duration; }
    });

    Object.defineProperty(this, 'currentTime', {
        get: function() { return this.videoElement.currentTime; },
        set: function(time) { this.videoElement.currentTime = time; }
    });

    Object.defineProperty(this, 'loop', {
{'fraction_non_alphanumeric': 0.13115603939865214, 'fraction_numerical': 0.007257646448937273, 'mean_word_length': 2.754863813229572, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '446472', 'n_tokens_mistral': 570, 'n_tokens_neox': 545, 'n_words': 109}