diff options
| author | Karsten Thoms | 2018-05-15 10:09:25 +0000 |
|---|---|---|
| committer | Karsten Thoms | 2018-06-12 11:55:45 +0000 |
| commit | c3fa4bb709369ecf9e7b73b32adf7656440eb348 (patch) | |
| tree | 956c544c2b74d72aad7b73cd2b6d12214c3cea22 /org.eclipse.ui.console/src/org/eclipse/ui/console/IPatternMatchListenerDelegate.java | |
| parent | 5261274d3002fc135becdccca36a2a1ddd06aa3f (diff) | |
| download | eclipse.platform.debug-c3fa4bb709369ecf9e7b73b32adf7656440eb348.tar.gz eclipse.platform.debug-c3fa4bb709369ecf9e7b73b32adf7656440eb348.tar.xz eclipse.platform.debug-c3fa4bb709369ecf9e7b73b32adf7656440eb348.zip | |
Bug 534681 - Remove redundant modifiers in org.eclipse.ui.console
Change-Id: I4440110007ff79c48e1e99ce5cfaee0c00a37f97
Signed-off-by: Karsten Thoms <karsten.thoms@itemis.de>
Diffstat (limited to 'org.eclipse.ui.console/src/org/eclipse/ui/console/IPatternMatchListenerDelegate.java')
| -rw-r--r-- | org.eclipse.ui.console/src/org/eclipse/ui/console/IPatternMatchListenerDelegate.java | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/org.eclipse.ui.console/src/org/eclipse/ui/console/IPatternMatchListenerDelegate.java b/org.eclipse.ui.console/src/org/eclipse/ui/console/IPatternMatchListenerDelegate.java index 57784de0d..712c2e712 100644 --- a/org.eclipse.ui.console/src/org/eclipse/ui/console/IPatternMatchListenerDelegate.java +++ b/org.eclipse.ui.console/src/org/eclipse/ui/console/IPatternMatchListenerDelegate.java @@ -29,18 +29,18 @@ public interface IPatternMatchListenerDelegate { * * @param console the console in which pattern matching will be performed */ - public void connect(TextConsole console); + void connect(TextConsole console); /** * Notification that pattern matching has been completed in the console * this delegate was last connected to. */ - public void disconnect(); + void disconnect(); /** * Notification that a match has been found. * * @param event event describing where the match was found */ - public void matchFound(PatternMatchEvent event); + void matchFound(PatternMatchEvent event); } |