private String getUser() { return vaadinApplicationContext.getUsername(); } }
private String getUser() { return vaadinApplicationContext.getUsername(); } }
private String createKey(VaadinApplicationContext context) { return clazz.getName() + ";" + context.getUiId() + ";" + context.getUsername(); } }
private String createKey(VaadinApplicationContext context) { return clazz.getName() + ";" + context.getUiId() + ";" + context.getUsername(); } }
private String createKey(VaadinApplicationContext context) { return clazz.getName() + ";" + context.getUiId() + ";" + context.getUsername(); } }
private void loadUserSettings() { applyHistory(m_applicationContext.getUsername(), m_historyManager.getHistoryFragment(m_applicationContext.getUsername())); }
private void loadUserSettings() { applyHistory(m_applicationContext.getUsername(), m_historyManager.getHistoryFragment(m_applicationContext.getUsername())); }
private boolean loadHistoryFragment(VaadinRequest request) { String fragment = request.getParameter(PARAMETER_HISTORY_FRAGMENT); if (!Strings.isNullOrEmpty(fragment) && getPage() != null) { applyHistory(m_applicationContext.getUsername(), fragment); return true; } return false; }
private boolean loadHistoryFragment(VaadinRequest request) { String fragment = request.getParameter(PARAMETER_HISTORY_FRAGMENT); if (!Strings.isNullOrEmpty(fragment) && getPage() != null) { applyHistory(m_applicationContext.getUsername(), fragment); return true; } return false; }
private void saveHistory() { if (m_settingFragment == 0) { String fragment = m_historyManager.saveOrUpdateHistory(m_applicationContext.getUsername(), m_graphContainer); if (getPage() != null) { getPage().setUriFragment(fragment, false); } } }
private void saveHistory() { if (m_settingFragment == 0) { String fragment = m_historyManager.saveOrUpdateHistory(m_applicationContext.getUsername(), m_graphContainer); if (getPage() != null) { getPage().setUriFragment(fragment, false); } } }
private void handleRequestParameter(VaadinRequest request) { boolean updateURL = false; for (RequestParameterHandler handler : requestHandlerList) { if (handler.handleRequest(request)) { updateURL = true; } } // we redo the layout before we save the history m_graphContainer.redoLayout(); m_topologyComponent.getState().setPhysicalWidth(0); m_topologyComponent.getState().setPhysicalHeight(0); m_topologyComponent.markAsDirtyRecursive(); // Close all open Windows/Dialogs if it is not the "NO VERTICES IN FOCUS"-Window for (Window eachWindow : getWindows()) { if (eachWindow != m_noContentWindow) { eachWindow.close(); } } if (updateURL) { // If we have a new location, we reload the page. // This needs to be done to set the fragment of the page correctly // Otherwise the Request-Parameters would still be there // we must overwrite the existing saved history for this user, otherwise updateURL does not work String fragment = m_historyManager.saveOrUpdateHistory(m_applicationContext.getUsername(), m_graphContainer); LOG.info("Redirect user {} to topology fragment url with fragment {}", m_applicationContext.getUsername(), fragment); getPage().setLocation(String.format("%s#%s", ((VaadinServletRequest) request).getRequestURI(), fragment)); } }
private void handleRequestParameter(VaadinRequest request) { boolean updateURL = false; for (RequestParameterHandler handler : requestHandlerList) { if (handler.handleRequest(request)) { updateURL = true; } } // we redo the layout before we save the history m_graphContainer.redoLayout(); m_topologyComponent.getState().setPhysicalWidth(0); m_topologyComponent.getState().setPhysicalHeight(0); m_topologyComponent.markAsDirtyRecursive(); // Close all open Windows/Dialogs if it is not the "NO VERTICES IN FOCUS"-Window for (Window eachWindow : getWindows()) { if (eachWindow != m_noContentWindow) { eachWindow.close(); } } if (updateURL) { // If we have a new location, we reload the page. // This needs to be done to set the fragment of the page correctly // Otherwise the Request-Parameters would still be there // we must overwrite the existing saved history for this user, otherwise updateURL does not work String fragment = m_historyManager.saveOrUpdateHistory(m_applicationContext.getUsername(), m_graphContainer); LOG.info("Redirect user {} to topology fragment url with fragment {}", m_applicationContext.getUsername(), fragment); getPage().setLocation(String.format("%s#%s", ((VaadinServletRequest) request).getRequestURI(), fragment)); } }
layoutEntity.setId(id); layoutEntity.setCreated(new Date()); layoutEntity.setCreator(graphContainer.getApplicationContext().getUsername()); layoutEntity.setUpdator(graphContainer.getApplicationContext().getUsername());
layoutEntity.setId(id); layoutEntity.setCreated(new Date()); layoutEntity.setCreator(graphContainer.getApplicationContext().getUsername()); layoutEntity.setUpdator(graphContainer.getApplicationContext().getUsername());