Changeset 93a4b80d084e57ee8d0d11234a7290ac128ac462


Ignore:
Timestamp:
18/08/10 13:23:57 (3 years ago)
Author:
Matias De la Puente <mfpuente.ar@…>
Children:
1b11a0bb3603257dbeca9fadbab15b5cdca0a8cd
Parents:
b36d53cc61ecdfd153a0c3f7029459580c56d6c4
git-committer:
Matias De la Puente <mfpuente.ar@…> (18/08/10 13:23:57)
Message:

Improve SearchAndReplaceBarView?

File:
1 edited

Legend:

Unmodified
Added
Removed
  • libi4uc/i4ucsearchbarview.vala

    r3dc4c17 r93a4b80  
    2727        private Button _search_backward_button = new Button (); 
    2828        private Button _search_forward_button = new Button (); 
    29         private CheckButton _highlight_all_check = new CheckButton.with_label (_("Highlight all")); 
    30         private CheckButton _match_case_check = new CheckButton.with_label (_("Match case")); 
     29        private CheckMenuItem _highlight_all_check = new CheckMenuItem.with_label (_("Highlight all")); 
     30        private CheckMenuItem _match_case_check = new CheckMenuItem.with_label (_("Match case")); 
    3131        private Entry _replace_text_entry = new Entry (); 
    3232        private Button _replace_button = new Button.with_label (_("Replace")); 
    3333        private Button _replace_all_button = new Button.with_label (_("Replace all")); 
     34        private Menu _options_menu = new Menu (); 
    3435         
    3536        public string search_text 
     
    8990                _source_view.buffer.get_tag_table ().add (highlight_tag); 
    9091                 
     92                //Search bar 
    9193                var close_button = ViewUtils.create_close_button (); 
    9294                 
    9395                var search_label = new Label (_("Search for:")); 
     96                 
     97                _search_text_entry.primary_icon_activatable = true; 
     98                _search_text_entry.primary_icon_stock = STOCK_PROPERTIES; 
    9499                 
    95100                _search_backward_button.relief = ReliefStyle.NONE; 
     
    101106                _search_forward_button.image = new Image.from_stock (STOCK_GO_FORWARD, IconSize.MENU); 
    102107                 
    103                 _highlight_all_check.focus_on_click = false; 
    104                 _match_case_check.focus_on_click = false; 
    105                  
     108                //Replace bar 
    106109                var replace_label = new Label (_("Replace with:")); 
    107110                 
     
    121124                pack_start (hbox, true, true, 0); 
    122125                 
    123                 var advanced_vbox = new VBox (false, 0); 
    124                  
    125                 hbox = new HBox (false, 0); 
    126                 hbox.pack_start (new Label ("     "), false, false, 0); 
    127                 hbox.pack_start (_highlight_all_check, false, false, 0); 
    128                 hbox.pack_start (_match_case_check, false, false, 20); 
    129                 advanced_vbox.pack_start (hbox, false, false, 0); 
    130                  
    131126                hbox = new HBox (false, 0); 
    132127                hbox.pack_start (new Label ("     "), false, false, 0); 
     
    135130                hbox.pack_start (_replace_button, false, false, 0); 
    136131                hbox.pack_start (_replace_all_button, false, false, 0); 
    137                 advanced_vbox.pack_start (hbox, false, false, 0); 
    138                  
    139                 var advanced_expander = new Expander ("<b>" + _("Advanced") + "</b>"); 
    140                 advanced_expander.set_use_markup (true); 
    141                 advanced_expander.add (advanced_vbox); 
    142                 pack_start (advanced_expander, true, true, 0); 
     132                 
     133                var replace_expander = new Expander ("<b>" + _("Replace") + "</b>"); 
     134                replace_expander.set_use_markup (true); 
     135                replace_expander.add (hbox); 
     136                pack_start (replace_expander, true, true, 0); 
     137                 
     138                //options menu 
     139                _options_menu.append (_highlight_all_check); 
     140                _options_menu.append (_match_case_check); 
     141                _options_menu.show_all (); 
    143142                 
    144143                //connect signals 
    145144                _search_text_entry.changed.connect (() => this.search_text_changed ()); 
     145                _search_text_entry.icon_press.connect (on_search_text_entry_icon_press); 
    146146                _search_backward_button.clicked.connect (() => this.search_backward_clicked ()); 
    147147                _search_forward_button.clicked.connect (() => this.search_forward_clicked ()); 
     
    255255                _source_view.grab_focus (); 
    256256        } 
     257         
     258        private void on_search_text_entry_icon_press (EntryIconPosition icon_pos, Gdk.Event event) 
     259        { 
     260                if (icon_pos == EntryIconPosition.PRIMARY) 
     261                        _options_menu.popup (null, null, null, event.button.button, event.button.time); 
     262        } 
    257263} 
Note: See TracChangeset for help on using the changeset viewer.