void set_widget_name (const std::string& name);
void set_active_state (Gtkmm2ext::ActiveState s);
void set_editable (bool yn);
+ void set_corner_radius (double);
+ void set_fixed_width (bool);
void focus ();
/** true if this clock follows the playhead, meaning that certain operations are redundant */
bool _follows_playhead;
bool _off;
+ bool _fixed_width;
+ int layout_x_offset;
Gtk::Menu *ops_menu;
Pango::AttrList editing_attributes;
Pango::AttrList info_attributes;
+ int first_height;
+ int first_width;
int layout_height;
int layout_width;
int info_height;
int upper_height;
double mode_based_info_ratio;
+ double corner_radius;
static const double info_font_scale_factor;
static const double separator_height;
void show_edit_status (int length);
void drop_focus ();
-
+ void dpi_reset ();
+
double bg_r, bg_g, bg_b, bg_a;
+ double cursor_r, cursor_g, cursor_b, cursor_a;
};
#endif /* __audio_clock_h__ */