no method getVisibleTitleHeight in android.webkit.WebView

[fishmacs]

Proguard warning:

Reading library jar [/usr/local/android-sdk/platforms/android-20/android.jar] Initializing... Warning: org.scaloid.common.TraitWebView$class: can't find referenced method 'int getVisibleTitleHeight()' in library class android.webkit.WebView

seems getVisibleTitleHeight has been removed? or it's hidden.

[doofin]

also hit by this issue..which makes the project fail to buid

[pocorall]

current master branch has a fix. Please test again with it.