<commit_before>import { HammerGestureConfig, HAMMER_GESTURE_CONFIG } from "@angular/platform-browser";
import "hammerjs";
import "hammer-timejs";

delete (window as any).Hammer.defaults.cssProps.userSelect; // Re-enable text selection

export class HammerConfig extends HammerGestureConfig  {
    overrides = {
        "swipe": {
            velocity: 0.3, // Default: 0.3
            threshold: 10, // Default: 10
        }
    };
}

export const HammerProvider = { provide: HAMMER_GESTURE_CONFIG, useClass: HammerConfig };<commit_msg>Bug fix: Scrolling on mobile devices possible again<commit_after>import { HammerGestureConfig, HAMMER_GESTURE_CONFIG } from "@angular/platform-browser";
import "hammerjs";
import "hammer-timejs";

declare var Hammer: any;
delete Hammer.defaults.cssProps.userSelect; // Re-enable text selection

export class HammerConfig extends HammerGestureConfig  {
    overrides = {
        "swipe": {
            velocity: 0.3, // Default: 0.3
            threshold: 10, // Default: 10
        }
    };

    buildHammer(element: HTMLElement) {
        const hammer = new Hammer(element, {
            touchAction: "pan-y"
        });
        return hammer;
    }
}

export const HammerProvider = { provide: HAMMER_GESTURE_CONFIG, useClass: HammerConfig };
{'fraction_non_alphanumeric': 0.1055512118842846, 'fraction_numerical': 0.012509773260359656, 'mean_word_length': 3.129032258064516, 'pattern_counts': {'":': 2, '<': 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': '2743948', 'n_tokens_mistral': 410, 'n_tokens_neox': 370, 'n_words': 95}