<commit_before><!--

    Copyright (c) 2012-2018 Red Hat, Inc.
    All rights reserved. This program and the accompanying materials
    are made available under the terms of the Eclipse Public License v1.0
    which accompanies this distribution, and is available at
    http://www.eclipse.org/legal/epl-v10.html

    Contributors:
      Red Hat, Inc. - initial API and implementation

-->
<ui:UiBinder xmlns:ui='urn:ui:com.google.gwt.uibinder'
             xmlns:g='urn:import:com.google.gwt.user.client.ui'
             xmlns:svg="urn:import:org.vectomatic.dom.svg.ui">

    <ui:with field="resources" type="org.eclipse.che.ide.api.parts.PartStackUIResources"/>

    <ui:style>

        @eval editorPanelBackgroundColor org.eclipse.che.ide.api.theme.Style.theme.editorPanelBackgroundColor();
        @eval tabBorderColor org.eclipse.che.ide.api.theme.Style.theme.tabBorderColor();
        @eval tabTextColor org.eclipse.che.ide.api.theme.Style.theme.tabTextColor();
        @eval hoveredTabTextColor org.eclipse.che.ide.api.theme.Style.theme.hoveredTabTextColor();
        @eval activeTabTextColor org.eclipse.che.ide.api.theme.Style.theme.activeTabTextColor();
        @eval editorTabIconColor org.eclipse.che.ide.api.theme.Style.getEditorTabIconColor();
        @eval activeEditorTabBackgroundColor org.eclipse.che.ide.api.theme.Style.theme.activeEditorTabBackgroundColor();
        @eval focusedEditorTabBackgroundColor org.eclipse.che.ide.api.theme.Style.theme.focusedEditorTabBackgroundColor();
        @eval focusedEditorTabBorderBottomColor org.eclipse.che.ide.api.theme.Style.theme.focusedEditorTabBorderBottomColor();
        @eval editorReadonlyTabBackgroundColor org.eclipse.che.ide.api.theme.Style.theme.editorReadonlyTabBackgroundColor();
        @eval activeEditorReadonlyTabBackgroundColor org.eclipse.che.ide.api.theme.Style.theme.activeEditorReadonlyTabBackgroundColor();
        @eval editorTabPinBackgroundColor org.eclipse.che.ide.api.theme.Style.theme.editorTabPinBackgroundColor();
        @eval editorTabPinDropShadow org.eclipse.che.ide.api.theme.Style.theme.editorTabPinDropShadow();
        @eval unsavedMarkColor org.eclipse.che.ide.api.theme.Style.getBadgeBackgroundColor();

        .mainPanel {
            -webkit-box-sizing: border-box;
            -moz-box-sizing: border-box;
            box-sizing: border-box;
            float: left;
            border-bottom: 1px solid transparent;
            height: 25px;
            background: transparent;
            color: tabTextColor;
            cursor: default;
            margin-bottom: 1px;

            -webkit-user-select: none;
            -moz-user-select: none;
            user-select: none;

            -webkit-transition: all 0.3s ease-in-out,
                                fill 0.3s ease-in-out,
                                stroke 0.3s ease-in-out;
            transition: all 0.3s ease-in-out,
                        fill 0.3s ease-in-out,
                        stroke 0.3s ease-in-out;
        }

        .iconPanel {
            float: left;
            width: 26px;
            height: 25px;
            overflow: hidden;
        }

        .mainPanel[unsaved] .iconPanel::after {
            color: unsavedMarkColor;
            content: '*';
            float: inherit;
            margin-top: 9px;
            margin-left: 19px;
        }

        .iconPanel svg {
            transform-origin: 0px 0px 0px;
            position: absolute;
            margin-left: 8px;
            margin-top: 5px;
            width: 14px;
            height: 14px;
        }

        .titlePanel {<commit_msg>Update style for the save mark in editor tab for FireFox<commit_after><!--

    Copyright (c) 2012-2018 Red Hat, Inc.
    All rights reserved. This program and the accompanying materials
    are made available under the terms of the Eclipse Public License v1.0
    which accompanies this distribution, and is available at
    http://www.eclipse.org/legal/epl-v10.html

    Contributors:
      Red Hat, Inc. - initial API and implementation

-->
<ui:UiBinder xmlns:ui='urn:ui:com.google.gwt.uibinder'
             xmlns:g='urn:import:com.google.gwt.user.client.ui'
             xmlns:svg="urn:import:org.vectomatic.dom.svg.ui">

    <ui:with field="resources" type="org.eclipse.che.ide.api.parts.PartStackUIResources"/>

    <ui:style>

        @eval editorPanelBackgroundColor org.eclipse.che.ide.api.theme.Style.theme.editorPanelBackgroundColor();
        @eval tabBorderColor org.eclipse.che.ide.api.theme.Style.theme.tabBorderColor();
        @eval tabTextColor org.eclipse.che.ide.api.theme.Style.theme.tabTextColor();
        @eval hoveredTabTextColor org.eclipse.che.ide.api.theme.Style.theme.hoveredTabTextColor();
        @eval activeTabTextColor org.eclipse.che.ide.api.theme.Style.theme.activeTabTextColor();
        @eval editorTabIconColor org.eclipse.che.ide.api.theme.Style.getEditorTabIconColor();
        @eval activeEditorTabBackgroundColor org.eclipse.che.ide.api.theme.Style.theme.activeEditorTabBackgroundColor();
        @eval focusedEditorTabBackgroundColor org.eclipse.che.ide.api.theme.Style.theme.focusedEditorTabBackgroundColor();
        @eval focusedEditorTabBorderBottomColor org.eclipse.che.ide.api.theme.Style.theme.focusedEditorTabBorderBottomColor();
        @eval editorReadonlyTabBackgroundColor org.eclipse.che.ide.api.theme.Style.theme.editorReadonlyTabBackgroundColor();
        @eval activeEditorReadonlyTabBackgroundColor org.eclipse.che.ide.api.theme.Style.theme.activeEditorReadonlyTabBackgroundColor();
        @eval editorTabPinBackgroundColor org.eclipse.che.ide.api.theme.Style.theme.editorTabPinBackgroundColor();
        @eval editorTabPinDropShadow org.eclipse.che.ide.api.theme.Style.theme.editorTabPinDropShadow();
        @eval unsavedMarkColor org.eclipse.che.ide.api.theme.Style.getBadgeBackgroundColor();

        .mainPanel {
            -webkit-box-sizing: border-box;
            -moz-box-sizing: border-box;
            box-sizing: border-box;
            float: left;
            border-bottom: 1px solid transparent;
            height: 25px;
            background: transparent;
            color: tabTextColor;
            cursor: default;
            margin-bottom: 1px;

            -webkit-user-select: none;
            -moz-user-select: none;
            user-select: none;

            -webkit-transition: all 0.3s ease-in-out,
                                fill 0.3s ease-in-out,
                                stroke 0.3s ease-in-out;
            transition: all 0.3s ease-in-out,
                        fill 0.3s ease-in-out,
                        stroke 0.3s ease-in-out;
        }

        .iconPanel {
            float: left;
            width: 26px;
            height: 25px;
            overflow: hidden;
        }

        .mainPanel[unsaved] .iconPanel::after {
            color: unsavedMarkColor;
            content: '*';
            float: right;
            margin-top: 9px;
            margin-left: 19px;
        }

        .iconPanel svg {
            transform-origin: 0px 0px 0px;
            position: absolute;
            margin-left: 8px;
            margin-top: 5px;
            width: 14px;
            height: 14px;
        }

        .titlePanel {
{'fraction_non_alphanumeric': 0.10442209670753547, 'fraction_numerical': 0.01212288193966111, 'mean_word_length': 2.2195121951219514, 'pattern_counts': {'":': 0, '<': 11, '<?xml version=': 0, '>': 11, 'https://': 0, 'lorem ipsum': 0, 'www.': 2, 'xml': 6}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 2, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '5330823', 'n_tokens_mistral': 2159, 'n_tokens_neox': 2037, 'n_words': 372}