Project

General

Profile

1811q_set_title.txt

Sergey Ivanovskiy, 09/08/2015 06:04 PM

Download (2.33 KB)

 
1
=== modified file 'src/com/goldencode/p2j/ui/client/gui/WindowTitleBar.java'
2
--- src/com/goldencode/p2j/ui/client/gui/WindowTitleBar.java	2015-09-01 20:57:22 +0000
3
+++ src/com/goldencode/p2j/ui/client/gui/WindowTitleBar.java	2015-09-08 21:21:09 +0000
4
@@ -603,7 +603,7 @@
5
          String windowTitle = window.title();
6
 
7
          final String title = (windowTitle == null ? WindowGuiImpl.DEFAULT_TITLE : windowTitle);
8
-         
9
+         gd.setTitle(title);
10
          NativePoint origin = physicalLocation();
11
          final NativeDimension d = physicalDimension();
12
          final NativeRectangle clip = clipRectangle(origin, d);
13

    
14
=== modified file 'src/com/goldencode/p2j/ui/client/gui/driver/web/GuiWebSocket.java'
15
--- src/com/goldencode/p2j/ui/client/gui/driver/web/GuiWebSocket.java	2015-09-05 15:03:24 +0000
16
+++ src/com/goldencode/p2j/ui/client/gui/driver/web/GuiWebSocket.java	2015-09-08 21:39:54 +0000
17
@@ -674,9 +674,9 @@
18
     */
19
    public void setWindowTitle(String title)
20
    {
21
-      byte[] message = allocateDrawingOp(PaintPrimitives.SET_TITLE, title.length() * 2 + 1);
22
-      
23
-      writeMessageText(message, 1, title);
24
+      byte[] message = allocateDrawingOp(PaintPrimitives.SET_TITLE, title.length() * 2 + 5);
25
+      writeMessageInt32(message, 1, title.length());
26
+      writeMessageText(message, 5, title);
27
    }
28
    
29
    /**
30

    
31
=== modified file 'src/com/goldencode/p2j/ui/client/gui/driver/web/res/p2j.screen.js'
32
--- src/com/goldencode/p2j/ui/client/gui/driver/web/res/p2j.screen.js	2015-09-08 16:51:50 +0000
33
+++ src/com/goldencode/p2j/ui/client/gui/driver/web/res/p2j.screen.js	2015-09-08 21:56:18 +0000
34
@@ -794,11 +794,11 @@
35
             case ops.CLEAR_HIGHLIGHT:
36
                break;
37
             case ops.SET_TITLE:
38
-               var title = p2j.socket.readStringBinaryMessage(message, idx + 1);
39
-               extra = " title = " + title;
40
-               this.title = title;
41
+               textLength = p2j.socket.readInt32BinaryMessage(message, idx + 1);
42
+               text = p2j.socket.readStringBinaryMessageByLength(message, idx + 5, textLength);
43
+               extra = " title = " + text;
44
+               this.title = text;
45
                taskBar.draw();
46
-               // TODO: force taskbar to repaint
47
                break;
48
             case ops.SET_ICON:
49
                var iconWidth  = p2j.socket.readInt32BinaryMessage(message, idx + 1);
50