diff options
| author | fluxgen <fluxgen> | 2003-08-13 09:28:44 (GMT) |
|---|---|---|
| committer | fluxgen <fluxgen> | 2003-08-13 09:28:44 (GMT) |
| commit | ea4adcf69514a7595e46206e7e0f4c2d92f7255d (patch) | |
| tree | 9bbbe60ad20c1ba034881cca6974986fda11edb3 | |
| parent | eac153c43c38dc6d2bfc2d37d5e8e84c2444ca7e (diff) | |
| download | fluxbox-ea4adcf69514a7595e46206e7e0f4c2d92f7255d.zip fluxbox-ea4adcf69514a7595e46206e7e0f4c2d92f7255d.tar.bz2 | |
more virtual
| -rw-r--r-- | src/FbTk/FbWindow.hh | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/FbTk/FbWindow.hh b/src/FbTk/FbWindow.hh index 189e6db..a373e00 100644 --- a/src/FbTk/FbWindow.hh +++ b/src/FbTk/FbWindow.hh | |||
| @@ -19,7 +19,7 @@ | |||
| 19 | // FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER | 19 | // FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER |
| 20 | // DEALINGS IN THE SOFTWARE. | 20 | // DEALINGS IN THE SOFTWARE. |
| 21 | 21 | ||
| 22 | // $Id: FbWindow.hh,v 1.20 2003/08/04 12:43:21 fluxgen Exp $ | 22 | // $Id: FbWindow.hh,v 1.21 2003/08/13 09:28:44 fluxgen Exp $ |
| 23 | 23 | ||
| 24 | #ifndef FBTK_FBWINDOW_HH | 24 | #ifndef FBTK_FBWINDOW_HH |
| 25 | #define FBTK_FBWINDOW_HH | 25 | #define FBTK_FBWINDOW_HH |
| @@ -67,11 +67,11 @@ public: | |||
| 67 | int class_type = InputOutput); | 67 | int class_type = InputOutput); |
| 68 | 68 | ||
| 69 | virtual ~FbWindow(); | 69 | virtual ~FbWindow(); |
| 70 | void setBackgroundColor(const FbTk::Color &bg_color); | 70 | virtual void setBackgroundColor(const FbTk::Color &bg_color); |
| 71 | void setBackgroundPixmap(Pixmap bg_pixmap); | 71 | virtual void setBackgroundPixmap(Pixmap bg_pixmap); |
| 72 | void setBorderColor(const FbTk::Color &border_color); | 72 | virtual void setBorderColor(const FbTk::Color &border_color); |
| 73 | void setBorderWidth(unsigned int size); | 73 | virtual void setBorderWidth(unsigned int size); |
| 74 | /// set window name (title) | 74 | /// set window name ("title") |
| 75 | void setName(const char *name); | 75 | void setName(const char *name); |
| 76 | void setEventMask(long mask); | 76 | void setEventMask(long mask); |
| 77 | /// clear window with background pixmap or color | 77 | /// clear window with background pixmap or color |