Implement plumbing for setting the terminal window title text.

(It's not hooked up to the actual UI yet.)

Author: jackpal

libraries/emulatorview/src/jackpal/androidterm/emulatorview/EmulatorView.java

@@ -115,6 +115,8 @@ public void handleMessage(Message msg) {
         }
     };
 
+    private TitleChangedListener mTitleChangedListener;
+
     public TermSession() {
         mWriteCharBuffer = CharBuffer.allocate(2);
         mWriteByteBuffer = ByteBuffer.allocate(4);
@@ -209,6 +211,7 @@ public void initializeEmulator(int columns, int rows) {
         mTranscriptScreen = new TranscriptScreen(columns, TRANSCRIPT_ROWS, rows, mColorScheme);
         mEmulator = new TerminalEmulator(this, mTranscriptScreen, columns, rows, mColorScheme);
         mEmulator.setDefaultUTF8Mode(mDefaultUTF8Mode);
+        mEmulator.setTitleChangedListener(mTitleChangedListener);
 
         mIsRunning = true;
         mReaderThread.start();
@@ -365,6 +368,19 @@ protected void notifyUpdate() {
         }
     }
 
+    /**
+     * Set a {@link TitleChangedListener} to be invoked when the terminal emulator's
+     * title is changed.
+     *
+     * @param listener The {@link TitleChangedListener} to be invoked on changes.
+     */
+    public void setTitleChangedListener(TitleChangedListener listener) {
+        mTitleChangedListener = listener;
+        if (mEmulator != null) {
+            mEmulator.setTitleChangedListener(listener);
+        }
+    }
+
     /**
      * Change the terminal's window size.  Will call {@link #initializeEmulator}
      * if the emulator is not yet running.

libraries/emulatorview/src/jackpal/androidterm/emulatorview/TermKeyListener.java

@@ -350,6 +350,9 @@ class TerminalEmulator {
     private CharsetDecoder mUTF8Decoder;
     private UpdateCallback mUTF8ModeNotify;
 
+
+    private TitleChangedListener mTitleChangedListener;
+
     /**
      * Construct a terminal emulator that uses the supplied screen
      *
@@ -1295,7 +1298,7 @@ private void doOSC() { // Operating System Controls
 
     private void changeTitle(int parameter, String title) {
         if (parameter == 0 || parameter == 2) {
-            logError("Change the window title:" + title);
+            notifyTitleChanged(title);
         }
     }
 
@@ -1749,4 +1752,24 @@ public void setColorScheme(ColorScheme scheme) {
     public String getSelectedText(int x1, int y1, int x2, int y2) {
         return mScreen.getSelectedText(x1, y1, x2, y2);
     }
+
+    /**
+     * Set a {@link TitleChangedListener} to be invoked when the terminal emulator's
+     * title is changed.
+     *
+     * @param listener The {@link TitleChangedListener} to be invoked on changes.
+     */
+    public void setTitleChangedListener(TitleChangedListener listener) {
+        mTitleChangedListener = listener;
+    }
+
+    /**
+     * Notify the {@link TitleChangedListener} registered by {@link
+     * #setUpdateCallback setTitleChangedListener} that the title has changed.
+     */
+    private void notifyTitleChanged(String newTitle) {
+        if (mTitleChangedListener != null) {
+            mTitleChangedListener.onTitleChanged(newTitle);
+        }
+    }
 }

libraries/emulatorview/src/jackpal/androidterm/emulatorview/TermSession.java

@@ -0,0 +1,5 @@
+package jackpal.androidterm.emulatorview;
+
+public interface TitleChangedListener {
+    public void onTitleChanged(String newTitle);
+}

libraries/emulatorview/src/jackpal/androidterm/emulatorview/TerminalEmulator.java

@@ -18,16 +18,26 @@
 
 import android.content.Context;
 import android.util.DisplayMetrics;
+import android.util.Log;
 
 import jackpal.androidterm.emulatorview.ColorScheme;
 import jackpal.androidterm.emulatorview.EmulatorView;
 import jackpal.androidterm.emulatorview.TermSession;
+import jackpal.androidterm.emulatorview.TitleChangedListener;
 
 import jackpal.androidterm.util.TermSettings;
 
 public class TermView extends EmulatorView {
+    private static final String TAG = "TermView";
+
     public TermView(Context context, TermSession session, DisplayMetrics metrics) {
         super(context, session, metrics);
+        setTitleChangedListener(
+                new TitleChangedListener(){
+                    public void onTitleChanged(String newTitle) {
+                        Log.w(TAG, "Title changed: " + newTitle);
+                    }
+                });
     }
 
     public void updatePrefs(TermSettings settings, ColorScheme scheme) {

libraries/emulatorview/src/jackpal/androidterm/emulatorview/TitleChangedListener.java

@@ -0,0 +1 @@
+]0;I am a title\Window title should now be 'I am a title'.