Edited by Zhuo Chen: implement basic draw function in WorkspaceView.java