Added pan + zoom to diagram viewer; show_diagram() didn't return; added PyQt, PyOpenGL, NumPy as dependencies in the docs
From: Dmitriy Morozov <morozov@cs.duke.edu>
Date: Sat, 01 Mar 2008 04:45:05 -0500
Subject: properties changes (state)
Message-Id: <c664b2f69b5f6ea3-f8bf16bdff01098d-artemis@metatron>
References: <c664b2f69b5f6ea3-0-artemis@metatron>
In-Reply-To: <c664b2f69b5f6ea3-0-artemis@metatron>
state=fixed