]> gerrit.simantics Code Review - simantics/district.git/tree - org.simantics.district.maps/src/org/simantics/maps/prefs/
Some initial fixes for DPI in map nodes (lot's TODO still) 57/2757/1
[simantics/district.git] / org.simantics.district.maps / src / org / simantics / maps / prefs /
drwxr-xr-x   ..
-rw-r--r-- 1155 MapsClientPreferenceInitializer.java
-rw-r--r-- 1463 MapsClientPreferencePage.java
-rw-r--r-- 1843 MapsClientPreferences.java