Changeset 1404 for trunk/org.modelica.mdt.ui/src
- Timestamp:
- 03/22/12 00:38:56 (13 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/org.modelica.mdt.ui/src/org/modelica/mdt/ui/editor/ModelicaEditor.java
r1403 r1404 487 487 @Override 488 488 public void selectionChanged(SelectionChangedEvent event) { 489 // XXX: see https://bugs.eclipse.org/bugs/show_bug.cgi?id=56161490 489 ModelicaEditor.this.selectionChanged(); 491 490 } … … 557 556 return part != null && part.equals(this); 558 557 } 558 559 559 private boolean isModelicaContentOutlinePageActive() { 560 560 IWorkbenchPart part= getActivePart(); … … 757 757 markInNavigationHistory(); 758 758 } 759 760 } 761 catch (Exception x) { 762 } 763 759 } 760 catch (Exception e) { 761 // Empty. 762 } 764 763 } 765 764 else if (moveCursor) { … … 800 799 IRegion range= getRegionFromSourceRegion(element.getLocation().getSourceRegion(), getViewer().getDocument()); 801 800 if (offset < range.getOffset() + range.getLength() && range.getOffset() < offset + length) { 802 803 801 ISourceViewer viewer= getSourceViewer(); 802 804 803 if (viewer instanceof ITextViewerExtension5) { 805 804 ITextViewerExtension5 extension= (ITextViewerExtension5) viewer; … … 808 807 809 808 setHighlightRange(range.getOffset(), range.getLength(), true); 809 810 810 if (fOutlinePage != null) { 811 811 fOutlineSelectionChangedListener.uninstall(fOutlinePage); … … 816 816 return; 817 817 } 818 818 819 element= element.getParent(); 819 820 } 820 821 821 } 822 822 catch (Exception x) { … … 889 889 return fHoverInfo.toString(); 890 890 } 891 891 892 /* 892 893 * @see org.eclipse.jface.text.information.IInformationProviderExtension#getInformation2(org.eclipse.jface.text.ITextViewer, org.eclipse.jface.text.IRegion) … … 1098 1099 if (sourceViewer instanceof ProjectionViewer) { 1099 1100 ProjectionViewer pv= (ProjectionViewer) sourceViewer; 1100 if (pv.canDoOperation(ProjectionViewer.TOGGLE)) 1101 if (pv.canDoOperation(ProjectionViewer.TOGGLE)) { 1101 1102 pv.doOperation(ProjectionViewer.TOGGLE); 1103 } 1102 1104 } 1103 1105 } … … 1237 1239 } 1238 1240 } 1241 1239 1242 return; 1240 1243 } … … 1243 1246 new ToggleFoldingRunner().runWhenNextVisible(); 1244 1247 } 1248 1245 1249 return; 1246 1250 } 1247 1248 1251 } 1249 1252 finally { … … 1282 1285 if (projectionMode) { 1283 1286 projectionViewer.disableProjection(); 1284 if (fProjectionModelUpdater != null) 1287 if (fProjectionModelUpdater != null) { 1285 1288 fProjectionModelUpdater.uninstall(); 1289 } 1286 1290 } 1287 1291 … … 1295 1299 projectionViewer.enableProjection(); 1296 1300 } 1297 1298 1301 } 1299 1302 finally { … … 1313 1316 @Override 1314 1317 protected String getStatusHeader(IStatus status) { 1318 String statusHeader = null; 1319 1315 1320 if (fEncodingSupport != null) { 1316 String message= fEncodingSupport.getStatusHeader(status); 1317 if (message != null) { 1318 return message; 1319 } 1320 } 1321 1322 return super.getStatusHeader(status); 1321 statusHeader = fEncodingSupport.getStatusHeader(status); 1322 } 1323 1324 if (statusHeader == null) { 1325 statusHeader = super.getStatusHeader(status); 1326 } 1327 1328 return statusHeader; 1323 1329 } 1324 1330 … … 1328 1334 @Override 1329 1335 protected String getStatusBanner(IStatus status) { 1336 String statusBanner = null; 1337 1330 1338 if (fEncodingSupport != null) { 1331 String message= fEncodingSupport.getStatusBanner(status); 1332 if (message != null) { 1333 return message; 1334 } 1335 } 1336 1337 return super.getStatusBanner(status); 1339 statusBanner = fEncodingSupport.getStatusBanner(status); 1340 } 1341 1342 if (statusBanner == null) { 1343 statusBanner = super.getStatusBanner(status); 1344 } 1345 1346 return statusBanner; 1338 1347 } 1339 1348 … … 1343 1352 @Override 1344 1353 protected String getStatusMessage(IStatus status) { 1354 String statusMessage = null; 1355 1345 1356 if (fEncodingSupport != null) { 1346 String message= fEncodingSupport.getStatusMessage(status); 1347 if (message != null) { 1348 return message; 1349 } 1350 } 1351 1352 return super.getStatusMessage(status); 1357 statusMessage = fEncodingSupport.getStatusMessage(status); 1358 } 1359 1360 if (statusMessage == null) { 1361 statusMessage = super.getStatusMessage(status); 1362 } 1363 1364 return statusMessage; 1353 1365 } 1354 1366 }
Note: See TracChangeset
for help on using the changeset viewer.