| 197 | int padding; |
| 198 | public: |
| 199 | CustProgressBox(int x, int y, int w, int h, const char *l=0) : |
| 200 | Fl_Box(x,y,w,h,l) { padding = 0; }; |
| 201 | void update_label(const char *lbl) { |
| 202 | int w = 0, h = 0; |
| 203 | if (!padding) { |
nothing calls this directly
no outgoing calls
no test coverage detected