Method append

src/main/java/core/packetproxy/gui/GUILog.java:58–69

(String s)

	}

	public void append(String s) {
		try {

			synchronized (thread_lock) {

				StyledDocument doc = text.getStyledDocument();
				doc.insertString(doc.getLength(), s + "\n\r", null);
			}
		} catch (BadLocationException ex) {

		}
	}

	public void appendErr(String s) {
		try {