<commit_before>﻿/*
 * Copyright © 2016 EDDiscovery development team
 *
 * Licensed under the Apache License, Version 2.0 (the "License"); you may not use this
 * file except in compliance with the License. You may obtain a copy of the License at
 *
 * http://www.apache.org/licenses/LICENSE-2.0
 * 
 * Unless required by applicable law or agreed to in writing, software distributed under
 * the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF
 * ANY KIND, either express or implied. See the License for the specific language
 * governing permissions and limitations under the License.
 * 
 * EDDiscovery is not affiliated with Fronter Developments plc.
 */
namespace EDDiscovery2
{
    partial class ThemeEditor
    {
        /// <summary>
        /// Required designer variable.
        /// </summary>
        private System.ComponentModel.IContainer components = null;

        /// <summary>
        /// Clean up any resources being used.
        /// </summary>
        /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
        protected override void Dispose(bool disposing)
        {
            if (disposing && (components != null))
            {
                components.Dispose();
            }
            base.Dispose(disposing);
        }

        #region Windows Form Designer generated code

        /// <summary>
        /// Required method for Designer support - do not modify
        /// the contents of this method with the code editor.
        /// </summary>
        private void InitializeComponent()
        {
            this.components = new System.ComponentModel.Container();
            this.buttonOK = new System.Windows.Forms.Button();
            this.groupBoxColors = new System.Windows.Forms.GroupBox();
            this.label8 = new System.Windows.Forms.Label();
            this.comboBox_ButtonStyle = new System.Windows.Forms.ComboBox();
            this.comboBox_TextBorder = new System.Windows.Forms.ComboBox();
            this.panel_theme19 = new System.Windows.Forms.Panel();
            this.panel_theme18 = new System.Windows.Forms.Panel();
            this.label23 = new System.Windows.Forms.Label();
            this.label18 = new System.Windows.Forms.Label();
            this.label25 = new System.Windows.Forms.Label();
            this.label27 = new System.Windows.Forms.Label();
            this.label24 = new System.Windows.Forms.Label();
            this.label17 = new System.Windows.Forms.Label();
            this.label2 = new System.Windows.Forms.Label();
            this.label20 = new System.Windows.Forms.Label();
            this.label22 = new System.Windows.Forms.Label();
            this.label26 = new System.Windows.Forms.Label();
            this.label28 = new System.Windows.Forms.Label();
            this.label21 = new System.Windows.Forms.Label();
            this.label19 = new System.Windows.Forms.Label();
            this.label4 = new System.Windows.Forms.Label();
            this.label15 = new System.Windows.Forms.Label();
            this.label7 = new System.Windows.Forms.Label();
            this.label6 = new System.Windows.Forms.Label();
            this.label16 = new System.Windows.Forms.Label();
            this.label5 = new System.Windows.Forms.Label();
            this.label14 = new System.Windows.Forms.Label();
            this.label13 = new System.Windows.Forms.Label();
            this.label12 = new System.Windows.Forms.Label();
            this.label11 = new System.Windows.Forms.Label();
            this.label10 = new System.Windows.Forms.Label();
            this.label9 = new System.Windows.Forms.Label();
            this.label1 = new System.Windows.Forms.Label();
            this.panel_theme15 = new System.Windows.Forms.Panel();
            this.panel_theme31 = new System.Windows.Forms.Panel();
            this.panel_theme35 = new System.Windows.Forms.Panel();
            this.panel_theme33 = new System.Windows.Forms.Panel();
            this.panel_theme32 = new System.Windows.Forms.Panel();
            this.panel_theme45 = new System.Windows.Forms.Panel();
            this.panel_theme42 = new System.Windows.Forms.Panel();
            this.panel_theme44 = new System.Windows.Forms.Panel();
            this.panel_theme41 = new System.Windows.Forms.Panel();
            this.panel_theme43 = new System.Windows.Forms.Panel();
            this.panel_theme40 = new System.Windows.Forms.Panel();
            this.panel_theme30 = new System.Windows.Forms.Panel();
            this.panel_theme4 = new System.Windows.Forms.Panel();
            this.panel_theme3 = new System.Windows.Forms.Panel();
            this.panel_theme6 = new System.Windows.Forms.Panel();
            this.panel_theme10 = new System.Windows.Forms.Panel();
            this.panel_theme17 = new System.Windows.Forms.Panel();
            this.panel_theme62 = new System.Windows.Forms.Panel();
            this.panel_theme61 = new System.Windows.Forms.Panel();
            this.panel_theme60 = new System.Windows.Forms.Panel();
            this.panel_theme70 = new System.Windows.Forms.Panel();
            this.panel_theme16 = new System.Windows.Forms.Panel();
            this.panel_theme14 = new System.Windows.Forms.Panel();
            this.panel_theme13 = new System.Windows.Forms.Panel();
            this.panel_theme51 = new System.Windows.Forms.Panel();
            this.panel_theme50 = new System.Windows.Forms.Panel();
            this.panel_theme12 = new System.Windows.Forms.Panel();
            this.panel_theme11 = new System.Windows.Forms.Panel();
            this.panel_theme9 = new System.Windows.Forms.Panel();
            this.panel_theme8 = new System.Windows.Forms.Panel();
            this.panel_theme7 = new System.Windows.Forms.Panel();
            this.panel_theme5 = new System.Windows.Forms.Panel();
            this.panel_theme2 = new System.Windows.Forms.Panel();
            this.panel_theme1 = new System.Windows.Forms.Panel();
            this.textBox_Font = new System.Windows.Forms.TextBox();
            this.label_opacity = new System.Windows.Forms.Label();
            this.trackBar_theme_opacity = new System.Windows.Forms.TrackBar();
            this.checkBox_theme_windowframe = new System.Windows.Forms.CheckBox();
            this.toolTip1 = new System.Windows.Forms.ToolTip(this.components);
            this.groupBox1 = new System.Windows.Forms.GroupBox();
            this.label3 = new System.Windows.Forms.Label();
            this.panel_theme71 = new System.Windows.Forms.Panel();
            this.label29 = new System.Windows.Forms.Label();
            this.groupBoxColors.SuspendLayout();
            ((System.ComponentModel.ISupportInitialize)(this.trackBar_theme_opacity)).BeginInit();
            this.groupBox1.SuspendLayout();
            this.SuspendLayout();
            // 
            // buttonOK
            // 
            this.buttonOK.Location = new System.Drawing.Point(705, 515);
            this.buttonOK.Name = "buttonOK";
            this.buttonOK.Size = new System.Drawing.Size(75, 23);
            this.buttonOK.TabIndex = 0;
            this.buttonOK.Text = "OK";
            this.buttonOK.UseVisualStyleBackColor = true;
            this.buttonOK.Click += new System.EventHandler(this.buttonOK_Click);
            // 
            // groupBoxColors
            // 
            this.groupBoxColors.Controls.Add(this.label29);
            this.groupBoxColors.Controls.Add(this.panel_theme71);
            this.groupBoxColors.Controls.Add(this.label8);
            this.groupBoxColors.Controls.Add(this.comboBox_ButtonStyle);
            this.groupBoxColors.Controls.Add(this.comboBox_TextBorder);
            this.groupBoxColors.Controls.Add(this.panel_theme19);
            this.groupBoxColors.Controls.Add(this.panel_theme18);
            this.groupBoxColors.Controls.Add(this.label23);
            this.groupBoxColors.Controls.Add(this.label18);
            this.groupBoxColors.Controls.Add(this.label25);
            this.groupBoxColors.Controls.Add(this.label27);
            this.groupBoxColors.Controls.Add(this.label24);
            this.groupBoxColors.Controls.Add(this.label17);
            this.groupBoxColors.Controls.Add(this.label2);
            this.groupBoxColors.Controls.Add(this.label20);
            this.groupBoxColors.Controls.Add(this.label22);
            this.groupBoxColors.Controls.Add(this.label26);
            this.groupBoxColors.Controls.Add(this.label28);<commit_msg>Fix #748 (ThemeEditor OK button not visible)<commit_after>﻿/*
 * Copyright © 2016 EDDiscovery development team
 *
 * Licensed under the Apache License, Version 2.0 (the "License"); you may not use this
 * file except in compliance with the License. You may obtain a copy of the License at
 *
 * http://www.apache.org/licenses/LICENSE-2.0
 * 
 * Unless required by applicable law or agreed to in writing, software distributed under
 * the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF
 * ANY KIND, either express or implied. See the License for the specific language
 * governing permissions and limitations under the License.
 * 
 * EDDiscovery is not affiliated with Fronter Developments plc.
 */
namespace EDDiscovery2
{
    partial class ThemeEditor
    {
        /// <summary>
        /// Required designer variable.
        /// </summary>
        private System.ComponentModel.IContainer components = null;

        /// <summary>
        /// Clean up any resources being used.
        /// </summary>
        /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
        protected override void Dispose(bool disposing)
        {
            if (disposing && (components != null))
            {
                components.Dispose();
            }
            base.Dispose(disposing);
        }

        #region Windows Form Designer generated code

        /// <summary>
        /// Required method for Designer support - do not modify
        /// the contents of this method with the code editor.
        /// </summary>
        private void InitializeComponent()
        {
            this.components = new System.ComponentModel.Container();
            this.buttonOK = new System.Windows.Forms.Button();
            this.groupBoxColors = new System.Windows.Forms.GroupBox();
            this.label8 = new System.Windows.Forms.Label();
            this.comboBox_ButtonStyle = new System.Windows.Forms.ComboBox();
            this.comboBox_TextBorder = new System.Windows.Forms.ComboBox();
            this.panel_theme19 = new System.Windows.Forms.Panel();
            this.panel_theme18 = new System.Windows.Forms.Panel();
            this.label23 = new System.Windows.Forms.Label();
            this.label18 = new System.Windows.Forms.Label();
            this.label25 = new System.Windows.Forms.Label();
            this.label27 = new System.Windows.Forms.Label();
            this.label24 = new System.Windows.Forms.Label();
            this.label17 = new System.Windows.Forms.Label();
            this.label2 = new System.Windows.Forms.Label();
            this.label20 = new System.Windows.Forms.Label();
            this.label22 = new System.Windows.Forms.Label();
            this.label26 = new System.Windows.Forms.Label();
            this.label28 = new System.Windows.Forms.Label();
            this.label21 = new System.Windows.Forms.Label();
            this.label19 = new System.Windows.Forms.Label();
            this.label4 = new System.Windows.Forms.Label();
            this.label15 = new System.Windows.Forms.Label();
            this.label7 = new System.Windows.Forms.Label();
            this.label6 = new System.Windows.Forms.Label();
            this.label16 = new System.Windows.Forms.Label();
            this.label5 = new System.Windows.Forms.Label();
            this.label14 = new System.Windows.Forms.Label();
            this.label13 = new System.Windows.Forms.Label();
            this.label12 = new System.Windows.Forms.Label();
            this.label11 = new System.Windows.Forms.Label();
            this.label10 = new System.Windows.Forms.Label();
            this.label9 = new System.Windows.Forms.Label();
            this.label1 = new System.Windows.Forms.Label();
            this.panel_theme15 = new System.Windows.Forms.Panel();
            this.panel_theme31 = new System.Windows.Forms.Panel();
            this.panel_theme35 = new System.Windows.Forms.Panel();
            this.panel_theme33 = new System.Windows.Forms.Panel();
            this.panel_theme32 = new System.Windows.Forms.Panel();
            this.panel_theme45 = new System.Windows.Forms.Panel();
            this.panel_theme42 = new System.Windows.Forms.Panel();
            this.panel_theme44 = new System.Windows.Forms.Panel();
            this.panel_theme41 = new System.Windows.Forms.Panel();
            this.panel_theme43 = new System.Windows.Forms.Panel();
            this.panel_theme40 = new System.Windows.Forms.Panel();
            this.panel_theme30 = new System.Windows.Forms.Panel();
            this.panel_theme4 = new System.Windows.Forms.Panel();
            this.panel_theme3 = new System.Windows.Forms.Panel();
            this.panel_theme6 = new System.Windows.Forms.Panel();
            this.panel_theme10 = new System.Windows.Forms.Panel();
            this.panel_theme17 = new System.Windows.Forms.Panel();
            this.panel_theme62 = new System.Windows.Forms.Panel();
            this.panel_theme61 = new System.Windows.Forms.Panel();
            this.panel_theme60 = new System.Windows.Forms.Panel();
            this.panel_theme70 = new System.Windows.Forms.Panel();
            this.panel_theme16 = new System.Windows.Forms.Panel();
            this.panel_theme14 = new System.Windows.Forms.Panel();
            this.panel_theme13 = new System.Windows.Forms.Panel();
            this.panel_theme51 = new System.Windows.Forms.Panel();
            this.panel_theme50 = new System.Windows.Forms.Panel();
            this.panel_theme12 = new System.Windows.Forms.Panel();
            this.panel_theme11 = new System.Windows.Forms.Panel();
            this.panel_theme9 = new System.Windows.Forms.Panel();
            this.panel_theme8 = new System.Windows.Forms.Panel();
            this.panel_theme7 = new System.Windows.Forms.Panel();
            this.panel_theme5 = new System.Windows.Forms.Panel();
            this.panel_theme2 = new System.Windows.Forms.Panel();
            this.panel_theme1 = new System.Windows.Forms.Panel();
            this.textBox_Font = new System.Windows.Forms.TextBox();
            this.label_opacity = new System.Windows.Forms.Label();
            this.trackBar_theme_opacity = new System.Windows.Forms.TrackBar();
            this.checkBox_theme_windowframe = new System.Windows.Forms.CheckBox();
            this.toolTip1 = new System.Windows.Forms.ToolTip(this.components);
            this.groupBox1 = new System.Windows.Forms.GroupBox();
            this.label3 = new System.Windows.Forms.Label();
            this.panel_theme71 = new System.Windows.Forms.Panel();
            this.label29 = new System.Windows.Forms.Label();
            this.groupBoxColors.SuspendLayout();
            ((System.ComponentModel.ISupportInitialize)(this.trackBar_theme_opacity)).BeginInit();
            this.groupBox1.SuspendLayout();
            this.SuspendLayout();
            // 
            // buttonOK
            // 
            this.buttonOK.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right)));
            this.buttonOK.Location = new System.Drawing.Point(705, 515);
            this.buttonOK.Name = "buttonOK";
            this.buttonOK.Size = new System.Drawing.Size(75, 23);
            this.buttonOK.TabIndex = 0;
            this.buttonOK.Text = "OK";
            this.buttonOK.UseVisualStyleBackColor = true;
            this.buttonOK.Click += new System.EventHandler(this.buttonOK_Click);
            // 
            // groupBoxColors
            // 
            this.groupBoxColors.Controls.Add(this.label29);
            this.groupBoxColors.Controls.Add(this.panel_theme71);
            this.groupBoxColors.Controls.Add(this.label8);
            this.groupBoxColors.Controls.Add(this.comboBox_ButtonStyle);
            this.groupBoxColors.Controls.Add(this.comboBox_TextBorder);
            this.groupBoxColors.Controls.Add(this.panel_theme19);
            this.groupBoxColors.Controls.Add(this.panel_theme18);
            this.groupBoxColors.Controls.Add(this.label23);
            this.groupBoxColors.Controls.Add(this.label18);
            this.groupBoxColors.Controls.Add(this.label25);
            this.groupBoxColors.Controls.Add(this.label27);
            this.groupBoxColors.Controls.Add(this.label24);
            this.groupBoxColors.Controls.Add(this.label17);
            this.groupBoxColors.Controls.Add(this.label2);
            this.groupBoxColors.Controls.Add(this.label20);
            this.groupBoxColors.Controls.Add(this.label22);
            this.groupBoxColors.Controls.Add(this.label26);
            this.groupBoxColors.Controls.Add(this.label28);
{'fraction_non_alphanumeric': 0.11415472114212756, 'fraction_numerical': 0.01955777377981545, 'mean_word_length': 2.2556206310221047, 'pattern_counts': {'":': 0, '<': 19, '<?xml version=': 0, '>': 19, 'https://': 0, 'lorem ipsum': 0, 'www.': 2, 'xml': 0}, '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': '2388335', 'n_tokens_mistral': 4670, 'n_tokens_neox': 4551, 'n_words': 884}