100644 blob a2a7cb67a858fbd27d1a22737ac1d98761d0100e	EditorOptions.java
100644 blob 775c81a3e95a9b9a550a02e8e64bd2843575f5fd	ExternalEditorOptions.java
100644 blob a428552be4a27a60b35d268eaa1751d1bad93d33	GridOptions.java
100644 blob c6f61f08c699baa52b1c3930d25e025f7ad287a2	Options.java
100644 blob 3232bd47461d703850bca35366a43eec3106cc5e	OptionsManager.java
100644 blob d0fb55d61b1625a477dd9cae3e89e2e422240bdf	TransparencyChessboardOptions.java
100644 blob f6a506129a0ec026f47da8401ec2a001163f78bd	ZoomOptions.java
040000 tree 7dc298b5ec195452fa8b0255545d944abb1506c6	impl