equal
deleted
inserted
replaced
783 ShowDropDownMenu(w, message_opt, WP(w, def_d).data_2, 24, 0, 0); |
783 ShowDropDownMenu(w, message_opt, WP(w, def_d).data_2, 24, 0, 0); |
784 break; |
784 break; |
785 case 25: /* Change ticker sound on/off */ |
785 case 25: /* Change ticker sound on/off */ |
786 _news_ticker_sound ^= 1; |
786 _news_ticker_sound ^= 1; |
787 ToggleWidgetLoweredState(w, e->we.click.widget); |
787 ToggleWidgetLoweredState(w, e->we.click.widget); |
788 InvalidateWidget(w, e->we.click.widget); |
788 w->InvalidateWidget(e->we.click.widget); |
789 break; |
789 break; |
790 default: { /* Clicked on the [<] .. [>] widgets */ |
790 default: { /* Clicked on the [<] .. [>] widgets */ |
791 int wid = e->we.click.widget; |
791 int wid = e->we.click.widget; |
792 if (wid > 2 && wid < 23) { |
792 if (wid > 2 && wid < 23) { |
793 int element = (wid - 3) / 2; |
793 int element = (wid - 3) / 2; |