| org.eclipse.ui.texteditor.ISchedulingRuleProvider
ISchedulingRuleProvider | public interface ISchedulingRuleProvider (Code) | | A scheduling rule provider provides a scheduling rule which
can be used when running operations.
since: 3.0 |
getSchedulingRule | ISchedulingRule getSchedulingRule()(Code) | | Returns the scheduling rule.
a scheduling rule or null if none |
|
|