This revision updates the javalanglevels jar to be consistent with the · DrJavaAtRice/EclipsePlugin@45f1bf3 · GitHub

1. DrJavaAtRice
2. EclipsePlugin

Repository navigation

• Code
• Issues
• Pull requests
• Actions
• Projects
• Wiki
• Security and quality
• Insights

Commit 45f1bf3

Browse filesBrowse the repository at this point in the historyBrowse files

rcartwright

committed

This revision updates the javalanglevels jar to be consistent with the

current version of the javalanglevels code base. It includes a tiny cosmetic change to the PlatformSupport class (the formatting of a comment). The following files were modified: M lib/javalanglevels-base.jar M src/edu/rice/cs/drjava/platform/PlatformSupport.java git-svn-id: file:///tmp/test-svn/trunk@5393 fe72c1cf-3628-48e9-8b72-1c46755d3cff

1 parent e58ae58 commit 45f1bf3
Copy full SHA for 45f1bf3

2 files changed

+5-6Lines changed: 5 additions & 6 deletions

File tree

Expand file treeCollapse file tree

Open diff view settings

Filter options

• drjava
  • lib
    • javalanglevels-base.jar
  • src/edu/rice/cs/drjava/platform
    • PlatformSupport.java

Expand file treeCollapse file tree

Open diff view settings

Collapse file

‎drjava/lib/javalanglevels-base.jar‎

Copy file name to clipboard

14.3 KB

Binary file not shown.

Collapse file

‎drjava/src/edu/rice/cs/drjava/platform/PlatformSupport.java‎

Copy file name to clipboardExpand all lines: drjava/src/edu/rice/cs/drjava/platform/PlatformSupport.java

+5-6Lines changed: 5 additions & 6 deletions

Original file line number	Diff line number	Diff line change
@@ -39,12 +39,11 @@
39	39	import javax.swing.Action;
40	40	import java.net.URL;
41	41
42		- /**
43		- * Central interface for all platform-specific code in DrJava.
44		- * A default platform-neutral implementation is provided in DefaultPlatform.
45		- * @version $Id$
46		- * @see edu.rice.cs.drjava.platform.DefaultPlatform
47		- */
	42	+ /** The central interface for all platform-specific code in DrJava. A default platform-neutral implementation is
	43	+ * provided in DefaultPlatform.
	44	+ * @version $Id$
	45	+ * @see edu.rice.cs.drjava.platform.DefaultPlatform
	46	+ */
48	47	public interface PlatformSupport {
49	48
50	49	/** Returns whether this is a Mac OS X platform. */

0 commit comments

Comments

0 (0)