Changeset 919


Ignore:
Timestamp:
Nov 5, 2010, 8:02:33 PM (7 years ago)
Author:
joerg
Message:
 
Location:
trunk/src/jlatexeditor
Files:
3 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/jlatexeditor/JLatexEditorJFrame.java

    r918 r919  
    351351
    352352    // inverse search
    353     //new Seek(GProperties.getInt("inverse search.port")).start();
    354353    new NetworkNode(this).start();
    355354  }
     
    16301629    }
    16311630  }
    1632 
    1633   // inverse search
    1634   private class Seek extends Thread {
    1635     private int port;
    1636 
    1637     public Seek(int port) {
    1638       this.port = port;
    1639       this.setDaemon(true);
    1640     }
    1641 
    1642     public void run() {
    1643       try {
    1644         ServerSocket server = new ServerSocket(port);
    1645 
    1646         while(true) {
    1647           Socket socket = server.accept();
    1648           BufferedReader reader = new BufferedReader(new InputStreamReader(socket.getInputStream()));
    1649           String seek = reader.readLine();
    1650           System.out.println(seek);
    1651           if(seek != null) openSeek(seek);
    1652           reader.close();
    1653           socket.close();
    1654         }
    1655       } catch (IOException e) {
    1656         e.printStackTrace();
    1657       }
    1658     }
    1659   }
    16601631}
  • trunk/src/jlatexeditor/remote/MasterNode.java

    r918 r919  
    55import jlatexeditor.gproperties.GProperties;
    66
     7import javax.swing.*;
    78import java.awt.event.ActionEvent;
    89import java.io.BufferedReader;
     
    6465            // check if master has opened this file
    6566            if (jle.isOpen(file)) {
    66               jle.open(new Doc.FileDoc(file), lineNr);
    67               jle.requestFocus();
     67              open(file, lineNr);
    6868            } else {
    6969              // check if a slave has opened the file
     
    8181                // check if master is responsible for the file
    8282                if (jle.isResponsibleFor(file)) {
    83                   jle.open(new Doc.FileDoc(file), lineNr);
    84                   jle.requestFocus();
     83                  open(file, lineNr);
    8584                } else {
    8685                  // check if a slave has opened the file
     
    9695
    9796                  // if no one want to be responsible the master editor has to open the file
    98                   if (!found) {
    99                     jle.open(new Doc.FileDoc(file), lineNr);
    100                     jle.requestFocus();
    101                   }
     97                  if (!found) open(file, lineNr);
    10298                }
    10399              }
     
    112108    }
    113109  }
     110
     111  private void open(final File file, final int lineNr) {
     112    SwingUtilities.invokeLater(new Runnable() {
     113      public void run() {
     114        jle.open(new Doc.FileDoc(file), lineNr);
     115        jle.requestFocus();
     116      }
     117    });
     118  }
    114119}
  • trunk/src/jlatexeditor/remote/SlaveNode.java

    r918 r919  
    44import jlatexeditor.JLatexEditorJFrame;
    55
     6import javax.swing.*;
    67import java.io.*;
    78import java.net.InetAddress;
     
    6970
    7071        if (file.exists() && file.isFile()) {
    71           jle.open(new Doc.FileDoc(file), lineNr);
    72           jle.requestFocus();
     72          open(file, lineNr);
    7373        }
    7474      }
    7575    }
    7676  }
     77
     78  private void open(final File file, final int lineNr) {
     79    SwingUtilities.invokeLater(new Runnable() {
     80      public void run() {
     81        jle.open(new Doc.FileDoc(file), lineNr);
     82        jle.requestFocus();
     83      }
     84    });
     85  }
    7786}
Note: See TracChangeset for help on using the changeset viewer.