Merge branch 'master' into workspace-manager-implementation

This commit is contained in:
Alex
2021-11-23 13:52:08 +01:00
committed by GitHub
11 changed files with 266 additions and 104 deletions

View File

@ -61,8 +61,8 @@ class Task
Gtk::Image icon_;
Gtk::Label text_before_;
Gtk::Label text_after_;
bool button_visible_;
bool ignored_;
bool button_visible_ = false;
bool ignored_ = false;
bool with_icon_;
std::string format_before_;
@ -77,6 +77,7 @@ class Task
private:
std::string repr() const;
std::string state_string(bool = false) const;
void hide_if_ignored();
public:
/* Getter functions */