diff --git a/app/.settings/org.eclipse.jdt.core.prefs b/app/.settings/org.eclipse.jdt.core.prefs index da7176c57..bd0342e50 100644 --- a/app/.settings/org.eclipse.jdt.core.prefs +++ b/app/.settings/org.eclipse.jdt.core.prefs @@ -5,9 +5,9 @@ org.eclipse.jdt.core.compiler.annotation.nonnullbydefault=org.eclipse.jdt.annota org.eclipse.jdt.core.compiler.annotation.nullable=org.eclipse.jdt.annotation.Nullable org.eclipse.jdt.core.compiler.annotation.nullanalysis=disabled org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled -org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.6 +org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.7 org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve -org.eclipse.jdt.core.compiler.compliance=1.6 +org.eclipse.jdt.core.compiler.compliance=1.7 org.eclipse.jdt.core.compiler.debug.lineNumber=generate org.eclipse.jdt.core.compiler.debug.localVariable=generate org.eclipse.jdt.core.compiler.debug.sourceFile=generate @@ -92,7 +92,7 @@ org.eclipse.jdt.core.compiler.problem.unusedParameterWhenOverridingConcrete=disa org.eclipse.jdt.core.compiler.problem.unusedPrivateMember=warning org.eclipse.jdt.core.compiler.problem.unusedWarningToken=warning org.eclipse.jdt.core.compiler.problem.varargsArgumentNeedCast=warning -org.eclipse.jdt.core.compiler.source=1.6 +org.eclipse.jdt.core.compiler.source=1.7 org.eclipse.jdt.core.formatter.align_type_members_on_columns=false org.eclipse.jdt.core.formatter.alignment_for_arguments_in_allocation_expression=18 org.eclipse.jdt.core.formatter.alignment_for_arguments_in_annotation=0 diff --git a/build/shared/lib/theme.txt b/build/shared/lib/theme.txt index 95bcad988..70f11e26f 100755 --- a/build/shared/lib/theme.txt +++ b/build/shared/lib/theme.txt @@ -6,9 +6,7 @@ status.error.fgcolor = #ffffff status.error.bgcolor = #662000 status.edit.fgcolor = #000000 status.edit.bgcolor = #cc9900 -#status.font = SansSerif,plain,12 -#status.font.macosx = Helvetica,plain,12 -status.font = processing.sans,plain,13 +status.font = processing.sans,plain,14 # TABS # Settings for the tab area at the top. @@ -34,11 +32,11 @@ buttons.hide.color = #0E1B25 buttons.bgimage = true # TOOLBAR BUTTON TEXT -buttons.status.font = processing.sans,plain,13 +buttons.status.font = processing.sans,bold,13 buttons.status.color = #ffffff # MODE SELECTOR -mode.button.font = processing.sans,plain,13 +mode.button.font = processing.sans,bold,13 # outline color of the mode button mode.button.color = #ffffff diff --git a/core/build.xml b/core/build.xml index 833acaa4e..0c2628197 100755 --- a/core/build.xml +++ b/core/build.xml @@ -13,8 +13,8 @@ -