| 
									
										
										
										
											2019-02-10 11:07:13 +01:00
										 |  |  | #pragma once
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | #include <LibGUI/GWidget.h>
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | class GLabel; | 
					
						
							| 
									
										
										
										
											2019-05-03 01:38:24 +02:00
										 |  |  | class GResizeCorner; | 
					
						
							| 
									
										
										
										
											2019-02-10 11:07:13 +01:00
										 |  |  | 
 | 
					
						
							|  |  |  | class GStatusBar : public GWidget { | 
					
						
							|  |  |  | public: | 
					
						
							|  |  |  |     explicit GStatusBar(GWidget* parent); | 
					
						
							|  |  |  |     virtual ~GStatusBar() override; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     String text() const; | 
					
						
							| 
									
										
										
										
											2019-06-02 14:58:02 +02:00
										 |  |  |     void set_text(const StringView&); | 
					
						
							| 
									
										
										
										
											2019-02-10 11:07:13 +01:00
										 |  |  | 
 | 
					
						
							|  |  |  |     virtual const char* class_name() const override { return "GStatusBar"; } | 
					
						
							| 
									
										
										
										
											2019-03-16 12:57:04 +01:00
										 |  |  | 
 | 
					
						
							|  |  |  | private: | 
					
						
							| 
									
										
										
										
											2019-02-10 11:07:13 +01:00
										 |  |  |     virtual void paint_event(GPaintEvent&) override; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     GLabel* m_label { nullptr }; | 
					
						
							| 
									
										
										
										
											2019-05-03 01:38:24 +02:00
										 |  |  |     GResizeCorner* m_corner { nullptr }; | 
					
						
							| 
									
										
										
										
											2019-02-10 11:07:13 +01:00
										 |  |  | }; |