--- a/GDBVariable.st	Tue Jun 06 09:37:04 2017 +0100
+++ b/GDBVariable.st	Mon Jun 12 10:00:44 2017 +0100
@@ -95,6 +95,21 @@
     aStream nextPutAll:')'.
 
     "Modified: / 27-02-2015 / 15:18:50 / Jan Vrany <jan.vrany@fit.cvut.cz>"
+!
+
+valueString
+    "Return value as string to be presented to user. The difference
+     to sending `value displayString` is that #valueString returns a
+     pretty-printed value (if pretty printing was enabled for GDB)
+
+     @see GDBMI_enable_pretty_printing
+     @see GDBDebugger >> enablePrettyPrinting
+    "
+
+    ^ value notNil ifTrue:[ value ] ifFalse:[ self value displayString ]
+
+    "Created: / 11-06-2017 / 23:24:59 / Jan Vrany <jan.vrany@fit.cvut.cz>"
+    "Modified (comment): / 12-06-2017 / 09:26:02 / Jan Vrany <jan.vrany@fit.cvut.cz>"
 ! !
 
 !GDBVariable class methodsFor:'documentation'!