Showing pointer variables

[Vladimir Prus]

Hello,
I noted a strange behaviour of pointer variables. When I click on the "+"
near such a variable, the values pointed to is shown instead of the pointer
value. However, when I click on "-", nothing changes, which I find
surprising.

Any opinion what's the right GUI behaviour:

1. On '-', show the pointer value again.
2. Don't reuse the same item both for pointer value and pointed value. Show
pointed-to value as a child of pointer value. 

Comments?

- Volodya