From 0df2793bb7651897ff50c7587913b543bd6560bc Mon Sep 17 00:00:00 2001
From: fluxgen <fluxgen>
Date: Mon, 11 Aug 2003 15:32:46 +0000
Subject: removed strftimeformat and fixed const accessor for currentWorkspace

---
 src/Screen.hh | 4 ++--
 1 file 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 @@
 // FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
 // DEALINGS IN THE SOFTWARE.
 
-// $Id: Screen.hh,v 1.118 2003/07/28 18:28:03 fluxgen Exp $
+// $Id: Screen.hh,v 1.119 2003/08/11 15:32:46 fluxgen Exp $
 
 #ifndef	 SCREEN_HH
 #define	 SCREEN_HH
@@ -104,6 +104,7 @@ public:
 
     inline Workspace *getWorkspace(unsigned int w) { return ( w < m_workspaces_list.size() ? m_workspaces_list[w] : 0); }
     inline Workspace *currentWorkspace() { return m_current_workspace; }
+    inline const Workspace *currentWorkspace() const { return m_current_workspace; }
 
     const FbTk::Menu *getWorkspacemenu() const { return workspacemenu.get(); }
     FbTk::Menu *getWorkspacemenu() { return workspacemenu.get(); }
@@ -181,7 +182,6 @@ public:
     void setAntialias(bool value);
 	
     inline const char *getStrftimeFormat() { return resource.strftime_format.c_str(); }
-    void saveStrftimeFormat(const char *format);
 
     inline int getDateFormat() { return resource.date_format; }
     inline void saveDateFormat(int f) { resource.date_format = f; }
-- 
cgit v0.11.2