This commit was manufactured by cvs2svn to create branch
'AnnotationsRework'.

Cherrypick from master 2003-11-17 19:20:42 UTC Dani Megert <dmegert> 'Fixed bug 46332: [Jobs] UI no longer responsive after pressing ctrl-S':
    org.eclipse.ui.editors/src/org/eclipse/ui/editors/text/ISchedulingRuleProvider.java
1 file changed