rename DGTranslator to Human Language Compiler. Added a new logo

src/ui/android/.project

@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <projectDescription>
-	<name>DGTranslator</name>
+	<name>HLCompiler</name>
 	<comment></comment>
 	<projects>
 	</projects>

src/ui/android/AndroidManifest.xml

@@ -13,9 +13,9 @@
 
     <application
         android:allowBackup="true"
-        android:icon="@drawable/dg_short"
+        android:icon="@drawable/ic_app"
         android:label="@string/app_name"
-        android:theme="@style/AppTheme" android:name="DGTranslator">
+        android:theme="@style/AppTheme" android:name="HLCompiler">
         <activity
             android:name=".MainActivity"
             android:label="@string/app_name" >

src/ui/android/hlc.svg

@@ -0,0 +1,10 @@
+<?xml version="1.0" standalone="no"?>
+<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
+"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
+<?xml-stylesheet type="text/css" href="http://fonts.googleapis.com/css?family=Inconsolata"?>
+
+<svg width="250" height="250" version="1.1" xmlns="http://www.w3.org/2000/svg">
+	<desc>Digital Grammar Logo</desc>
+
+	<path d="M205,200 a110,110 0 1,1 0,-150 M125,15 v110 h80 M165,95 v60 M205,95 v60" fill="none" stroke="red" stroke-width="14" stroke-linejoin="round" stroke-linecap="round"/>
+</svg>

src/ui/android/res/values/strings.xml

@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="utf-8"?>
 <resources>
-    <string name="app_name">Language Compiler</string>
+    <string name="app_name">Human Language Compiler</string>
 
     <string name="microphone">Microphone</string>
     <string name="switch_languages">Switch languages</string>

src/ui/android/src/org/grammaticalframework/ui/android/AlternativesActivity.java

@@ -33,7 +33,7 @@ public class AlternativesActivity extends ListActivity {
 	    super.onCreate(savedInstanceState);
 	    setContentView(R.layout.activity_lexical_entry);
 
-        mTranslator = ((DGTranslator) getApplicationContext()).getTranslator();
+        mTranslator = ((HLCompiler) getApplicationContext()).getTranslator();
 
 	    mShowLanguageView = (LanguageSelector) findViewById(R.id.show_language);
 	    mShowLanguageView.setLanguages(mTranslator.getAvailableLanguages());

src/ui/android/src/org/grammaticalframework/ui/android/MainActivity.java

@@ -133,7 +133,7 @@ public class MainActivity extends Activity {
 
         mTts = new TTS(this);
 
-        mTranslator = ((DGTranslator) getApplicationContext()).getTranslator();
+        mTranslator = ((HLCompiler) getApplicationContext()).getTranslator();
 
         mSourceLanguageView.setLanguages(mTranslator.getAvailableLanguages());
         mSourceLanguageView.setOnLanguageSelectedListener(new OnLanguageSelectedListener() {

src/ui/android/src/org/grammaticalframework/ui/android/TranslatorInputMethodService.java

@@ -41,7 +41,7 @@ public class TranslatorInputMethodService extends InputMethodService
     public void onCreate() {
         super.onCreate();
         
-        mTranslator = ((DGTranslator) getApplicationContext()).getTranslator();
+        mTranslator = ((HLCompiler) getApplicationContext()).getTranslator();
         
         mSymbolsPage1Keyboard = null;
         mSymbolsPage2Keyboard = null;

src/ui/android/src/org/grammaticalframework/ui/android/TranslatorKeyboard.java

@@ -24,7 +24,7 @@ public class TranslatorKeyboard extends Keyboard {
     public TranslatorKeyboard(Context context, int xmlLayoutResId, int modeId) {
     	super(context, xmlLayoutResId, modeId);
 
-    	mTranslator = ((DGTranslator) context.getApplicationContext()).getTranslator();
+    	mTranslator = ((HLCompiler) context.getApplicationContext()).getTranslator();
     	updateLanguageKeyLabels();
     }
 

src/ui/android/src/org/grammaticalframework/ui/android/TranslatorKeyboardView.java

@@ -20,12 +20,12 @@ public class TranslatorKeyboardView extends KeyboardView {
 
     public TranslatorKeyboardView(Context context, AttributeSet attrs) {
         super(context, attrs);
-        mTranslator = ((DGTranslator) context.getApplicationContext()).getTranslator();
+        mTranslator = ((HLCompiler) context.getApplicationContext()).getTranslator();
     }
 
     public TranslatorKeyboardView(Context context, AttributeSet attrs, int defStyle) {
         super(context, attrs, defStyle);
-        mTranslator = ((DGTranslator) context.getApplicationContext()).getTranslator();
+        mTranslator = ((HLCompiler) context.getApplicationContext()).getTranslator();
     }
 
     private PopupWindow mLanguagesPopup = null;