log gwt-client/src/main/java/org/dive4elements/river/client/client/ui/IThemeRecordHandler.java @ 9580:839b2aa84dd0

age author description
Thu, 16 Aug 2018 16:28:03 +0200 gernotbelger Navigationtheme panel now shows themes of dWt and WQ charts grayed out, if the current station is outside the valid range of the theme.

http://dive4elements.wald.intevation.org