140
142
FilterHistory (seachHistoryProperty);
141
143
FilterHistory (replaceHistoryProperty);
142
144
//HACK: GTK rendering issue on Mac, images don't repaint unless we put them in visible eventboxes
144
foreach (var eb in new [] { eventbox2, eventbox3, eventbox4, eventbox5, eventbox6 }) {
146
foreach (var eb in new [] { eventbox2, eventbox3, eventbox4, eventbox5, eventbox6 }) {
146
148
eb.ModifyBg (StateType.Normal, new Gdk.Color (230, 230, 230));