Update the water height slider if the water height is set using the picker.
[0ad.git] / source / 
treead65015a25dda1b84d02eb94183bdd4e6becfb22
drwxr-xr-x   ..
drwxr-xr-x - collada
drwxr-xr-x - graphics
drwxr-xr-x - gui
drwxr-xr-x - i18n
drwxr-xr-x - lib
drwxr-xr-x - lobby
-rw-r--r-- 19684 main.cpp
drwxr-xr-x - maths
drwxr-xr-x - mocks
drwxr-xr-x - network
drwxr-xr-x - pch
drwxr-xr-x - ps
drwxr-xr-x - renderer
drwxr-xr-x - rlinterface
drwxr-xr-x - scriptinterface
drwxr-xr-x - simulation2
drwxr-xr-x - soundmanager
-rw-r--r-- 4263 test_setup.cpp
drwxr-xr-x - third_party
drwxr-xr-x - tools