summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/Screen.hh4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Screen.hh b/src/Screen.hh
index 225a329..411755e 100644
--- a/src/Screen.hh
+++ b/src/Screen.hh
@@ -22,7 +22,7 @@
22// FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER 22// FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
23// DEALINGS IN THE SOFTWARE. 23// DEALINGS IN THE SOFTWARE.
24 24
25// $Id: Screen.hh,v 1.118 2003/07/28 18:28:03 fluxgen Exp $ 25// $Id: Screen.hh,v 1.119 2003/08/11 15:32:46 fluxgen Exp $
26 26
27#ifndef SCREEN_HH 27#ifndef SCREEN_HH
28#define SCREEN_HH 28#define SCREEN_HH
@@ -104,6 +104,7 @@ public:
104 104
105 inline Workspace *getWorkspace(unsigned int w) { return ( w < m_workspaces_list.size() ? m_workspaces_list[w] : 0); } 105 inline Workspace *getWorkspace(unsigned int w) { return ( w < m_workspaces_list.size() ? m_workspaces_list[w] : 0); }
106 inline Workspace *currentWorkspace() { return m_current_workspace; } 106 inline Workspace *currentWorkspace() { return m_current_workspace; }
107 inline const Workspace *currentWorkspace() const { return m_current_workspace; }
107 108
108 const FbTk::Menu *getWorkspacemenu() const { return workspacemenu.get(); } 109 const FbTk::Menu *getWorkspacemenu() const { return workspacemenu.get(); }
109 FbTk::Menu *getWorkspacemenu() { return workspacemenu.get(); } 110 FbTk::Menu *getWorkspacemenu() { return workspacemenu.get(); }
@@ -181,7 +182,6 @@ public:
181 void setAntialias(bool value); 182 void setAntialias(bool value);
182 183
183 inline const char *getStrftimeFormat() { return resource.strftime_format.c_str(); } 184 inline const char *getStrftimeFormat() { return resource.strftime_format.c_str(); }
184 void saveStrftimeFormat(const char *format);
185 185
186 inline int getDateFormat() { return resource.date_format; } 186 inline int getDateFormat() { return resource.date_format; }
187 inline void saveDateFormat(int f) { resource.date_format = f; } 187 inline void saveDateFormat(int f) { resource.date_format = f; }