47         String url = Executions.getCurrent().getDesktop().getRequestPath();
    50                 .collect(Collectors.toList());
    53         Optional<NavigationMenuItem> itemOptional = 
menuItems.stream().filter(ext -> BackHomeExtension.class.equals(ext.getClass())).findAny();
    54         if (itemOptional.isPresent()) {
 User getUser()
Definition: SessionContext.java:74
 
ExtensionsManager extManager
Definition: MenuViewModel.java:36
 
List< NavigationMenuItem > menuItems
Definition: MenuViewModel.java:38
 
SessionContext sessionContext
Definition: MenuViewModel.java:33
 
String getId()
Definition: User.java:43
 
public< T > List< T > getSystemExtensionsForClass(Class< T > clazz)
Definition: ExtensionsManager.java:184