def _createLabel(self, labeltext): data = GridData(GridData.FILL_HORIZONTAL) data.verticalIndent = 5 self.label = Label(self.window, SWT.WRAP) self.label.setLayoutData(data) self.label.setText(labeltext) self.label.setLocation(10, 40)
def createContent(self, child, results, wordtosearch): resultsCount = len(results) gridLayout = GridLayout(1, 1) child.setLayout(gridLayout) #-- Introduction text introdata = GridData(GridData.FILL_HORIZONTAL) ; introdata.verticalIndent = 5 introlabel = Label(child, SWT.WRAP) ; introlabel.setLayoutData(introdata) if (resultsCount==0): introlabel.setText("No element matching your search request '"+wordtosearch+"' has been found.") else: if not orgVersion: introlabel.setText("Click on each element to select it directly from the UML model explorer.") introlabel.setLocation(10, 40) #-- "Objects found" panel containing a table (if the results is not empty) if (resultsCount!=0): resultsGroup = Group(child, SWT.NONE) fd_resultsGroup = GridData(SWT.FILL, SWT.FILL, 1,1) resultsGroup.setLayoutData(fd_resultsGroup) if resultsCount == 1: text = "1 element found" else: text = str(resultsCount)+" elements found" resultsGroup.setText(text) gridLayout2 = GridLayout() gridLayout2.numColumns = 1 resultsGroup.setLayout(gridLayout) table = TableViewer(resultsGroup, SWT.NONE); table.getControl().setLayoutData(GridData(GridData.FILL_BOTH)) # When a element in the list is selected then select it in modelio explorer # This is achieved with fireNavigate method of the NavigationService # FIXME this feature is currently not working on V3 because of fireNavigate class SCListener(ISelectionChangedListener): def __init__(self, app): self.app = app def selectionChanged(self, event): selection = event.getSelection() element = selection.getFirstElement() print element if (element != None): Modelio.getInstance().getNavigationService().fireNavigate(element) sclistener = SCListener(self) table.setContentProvider(self.SearchResultsContentProvider(results)) table.setLabelProvider(self.SearchResultsLabelProvider()) table.addSelectionChangedListener(sclistener) table.setInput(results) #-- "Close" Button closeBtn = Button(child, SWT.FLAT) closeBtn.setText("Close") class MyListener(Listener): def handleEvent(self, event): if (event.widget == closeBtn): closeBtn.getShell().close() listener = MyListener() closeBtn.addListener(SWT.Selection, listener) btndata = GridData(GridData.HORIZONTAL_ALIGN_END) ; btndata.widthHint = 50 closeBtn.setLayoutData(btndata)
def _createLabel(self,labeltext): data = GridData(GridData.FILL_HORIZONTAL) data.verticalIndent = 5; self.label = Label(self.window, SWT.WRAP) self.label.setLayoutData(data) self.label.setText(labeltext) self.label.setLocation(10, 40)
def _createBrowser(self, html=None, url=None): data = GridData(SWT.FILL, SWT.FILL, 1, 1) data.verticalIndent = 10 self.browser = Browser(self.window, SWT.BORDER) self.browser.setLayoutData(data) if url is not None: self.setURL(url) else: if html is not None: self.setText(html) else: pass
def _createBrowser(self,html=None,url=None): data = GridData(SWT.FILL,SWT.FILL,1,1) data.verticalIndent = 10; self.browser = Browser(self.window, SWT.BORDER) self.browser.setLayoutData(data) if url is not None: self.setURL(url) else: if html is not None: self.setText(html) else: pass