}
// shortcut to the client properties:
protected ClientProperties getClientProperties() {
if (clientProperties == null) {
ClientInfo clientInfo = WebSession.get().getClientInfo();
if (clientInfo == null || !(clientInfo instanceof WebClientInfo)) {
clientInfo = new WebClientInfo((WebRequestCycle) getRequestCycle());
WebSession.get().setClientInfo(clientInfo);
}