<commit_before>GeoReview.views.Viewport = Ext.extend(Ext.TabPanel, {

    // we need at least one Panel with
    // fullscreen = true
    fullscreen: true,

    // default layout for TabPanel
    layout: 'card',

    // default animation for the card switch
    cardSwitchAnimation: 'slide',

    // this is the toolbar at the top
    dockedItems: [
        {
        xtype: 'toolbar',
        title: 'GeoReview',
        items: [
            new GeoReview.views.BackButton(), { xtype: 'spacer' }, {
            xtype: 'button',
            ui: 'action',
            text: 'Color',
            handler: function(){
                var picker = new Ext.Picker({
                    slots: [
                        {
                        name : 'color',
                        title: 'Choose a color',
                        data : [
                            {text: 'Blue', value: 'blu'},
                            {text: 'Red', value: 'red'},
                            {text: 'Grey', value: 'gray'},
                            {text: 'Yellow', value: 'yellow'},
                            {text: 'Green', value: 'green'},
                        ]
                    }
                    ],
                    listeners: { 
                        "hide": function(picker) { 
                            GeoReview.loadCss(picker.getValue().color);
                        }
                    }});
                    picker.show();
            }
        }
        ] // end items
    }],

    // the tab bar at the bottom<commit_msg>Updated color name for 'blue'.<commit_after>GeoReview.views.Viewport = Ext.extend(Ext.TabPanel, {

    // we need at least one Panel with
    // fullscreen = true
    fullscreen: true,

    // default layout for TabPanel
    layout: 'card',

    // default animation for the card switch
    cardSwitchAnimation: 'slide',

    // this is the toolbar at the top
    dockedItems: [
        {
        xtype: 'toolbar',
        title: 'GeoReview',
        items: [
            new GeoReview.views.BackButton(), { xtype: 'spacer' }, {
            xtype: 'button',
            ui: 'action',
            text: 'Color',
            handler: function(){
                var picker = new Ext.Picker({
                    slots: [
                        {
                        name : 'color',
                        title: 'Choose a color',
                        data : [
                            {text: 'Blue', value: 'blue'},
                            {text: 'Red', value: 'red'},
                            {text: 'Grey', value: 'gray'},
                            {text: 'Yellow', value: 'yellow'},
                            {text: 'Green', value: 'green'},
                        ]
                    }
                    ],
                    listeners: { 
                        "hide": function(picker) { 
                            GeoReview.loadCss(picker.getValue().color);
                        }
                    }});
                    picker.show();
            }
        }
        ] // end items
    }],

    // the tab bar at the bottom
{'fraction_non_alphanumeric': 0.11570512820512821, 'fraction_numerical': 0.0, 'mean_word_length': 0.950625, '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': '648844', 'n_tokens_mistral': 794, 'n_tokens_neox': 743, 'n_words': 197}