+ public static TabContribution<Object> svgTabContribution() {\r
+ return new TabContribution<Object>() {\r
+\r
+ @Override\r
+ public boolean accept(ReadGraph graph, Object input) throws DatabaseException {\r
+ Resource res = WorkbenchSelectionUtils.getPossibleResource(input);\r
+ if(res == null) return false;\r
+ return graph.isInstanceOf(res, DiagramResource.getInstance(graph).SVGElement);\r
+ }\r
+\r
+ @Override\r
+ public void contribute(ReadGraph graph, Object selection, Collection<ComparableTabContributor> result)\r
+ throws DatabaseException {\r
+ Resource res = WorkbenchSelectionUtils.getPossibleResource(selection);\r
+ if(res != null) {\r
+ if(graph.isInstanceOf(res, DiagramResource.getInstance(graph).SVGElement)) {\r
+ result.add(make(res, 100.0, "SVG"));\r
+ }\r
+ }\r
+ }\r
+ };\r
+ }\r
+ \r