- st.clear();
- st.push_back(FilterStatement());
- st.back().add_line(format("SetFontSize %d", static_cast<int>(font_size*theme.get_base_font_size()+0.5)));
- if(!border_color.empty())
- {
- const Color &color = theme.get_color(border_color);
- st.back().add_line(format("SetBorderColor %d %d %d", color.r, color.g, color.b));
- }
- if(sound_type)
- st.back().add_line(format("PlayAlertSound %d %d", sound_type, sound_volume));