Exemple #1
0
 private void init(List <filter_line> items, List <addition> additions)
 {
     items_     = items;
     additions_ = additions;
     font_      = font();
     update_case_sensitive();
 }
Exemple #2
0
        private filter_line.font_info font()
        {
            var result = new filter_line.font_info();

            foreach (var item in items_)
            {
                if (item.part == filter_line.part_type.font)
                {
                    result.copy_from(item.fi);
                }
            }

            result.bg = get_bg_color(result.bg, enabled);
            result.fg = get_fg_color(result.fg, enabled);
            return(result);
        }
Exemple #3
0
 private void init(List<filter_line> items, List<addition> additions)
 {
     items_ = items;
     additions_ = additions;
     font_ = font();
     update_case_sensitive();
 }
Exemple #4
0
        private filter_line.font_info font()
        {
            var result = new filter_line.font_info();
            foreach ( var item in items_)
                if (item.part == filter_line.part_type.font)
                    result.copy_from( item.fi);

            result.bg = get_bg_color(result.bg, enabled);
            result.fg = get_fg_color(result.fg, enabled);
            return result;
        }