--- a/DeviceWorkstation.st	Thu Sep 14 12:01:30 1995 +0200
+++ b/DeviceWorkstation.st	Fri Sep 15 02:00:56 1995 +0200
@@ -36,7 +36,7 @@
 COPYRIGHT (c) 1993 by Claus Gittinger
 	      All Rights Reserved
 
-$Header: /cvs/stx/stx/libview/DeviceWorkstation.st,v 1.43 1995-09-14 00:49:11 claus Exp $
+$Header: /cvs/stx/stx/libview/DeviceWorkstation.st,v 1.44 1995-09-15 00:00:29 claus Exp $
 '!
 
 !DeviceWorkstation class methodsFor:'documentation'!
@@ -57,7 +57,7 @@
 
 version
 "
-$Header: /cvs/stx/stx/libview/DeviceWorkstation.st,v 1.43 1995-09-14 00:49:11 claus Exp $
+$Header: /cvs/stx/stx/libview/DeviceWorkstation.st,v 1.44 1995-09-15 00:00:29 claus Exp $
 "
 !
 
@@ -1212,13 +1212,22 @@
     ^ dispatchProcess
 !
 
+virtualExtent
+    "return the virtual extent of the display (in pixels).
+     On most systems, this is the same as the physical width;
+     except, if a window manager with a virtual desktop like olvwm
+     (simulating a bigger screen) is running."
+
+    ^ width @ height
+!
+
 virtualWidth
     "return the virtual width of the display (in pixels).
      On most systems, this is the same as the physical width;
      except, if a window manager with a virtual desktop like olvwm
      (simulating a bigger screen) is running."
 
-    ^ width
+    ^ self virtualExtent x
 
     "Display virtualWidth"
 !
@@ -1229,7 +1238,7 @@
      except, if a window manager with a virtual desktop like olvwm
      (simulating a bigger screen) is running."
 
-    ^ height
+    ^ self virtualExtent y
 
     "Display virtualHeight"
 !