428429430431432433434435436437438
btmmenu.add(keyHelp); String vs; if (GWT.isScript()) { final ClientVersion v = GWT.create(ClientVersion.class); vs = v.version().getText(); if (vs.startsWith("v")) { vs = vs.substring(1); } } else { vs = "dev";