1 files changed, 0 insertions, 80 deletions
diff --git a/src/com/vaadin/terminal/Terminal.java b/src/com/vaadin/terminal/Terminal.java
deleted file mode 100644
index 9dc6ced6a7..0000000000
--- a/src/com/vaadin/terminal/Terminal.java
+++ /dev/null
@@ -1,80 +0,0 @@
-/* 
-@VaadinApache2LicenseForJavaFiles@
- */
-
-package com.vaadin.terminal;
-
-import java.io.Serializable;
-
-/**
- * An interface that provides information about the user's terminal.
- * Implementors typically provide additional information using methods not in
- * this interface. </p>
- * 
- * @author Vaadin Ltd.
- * @version
- * @VERSION@
- * @since 3.0
- */
-public interface Terminal extends Serializable {
-
-    /**
-     * Gets the name of the default theme for this terminal.
-     * 
-     * @return the name of the theme that is used by default by this terminal.
-     */
-    public String getDefaultTheme();
-
-    /**
-     * Gets the width of the terminal screen in pixels. This is the width of the
-     * screen and not the width available for the application.
-     * <p>
-     * Note that the screen width is typically not available in the
-     * {@link com.vaadin.Application#init()} method as this is called before the
-     * browser has a chance to report the screen size to the server.
-     * </p>
-     * 
-     * @return the width of the terminal screen.
-     */
-    public int getScreenWidth();
-
-    /**
-     * Gets the height of the terminal screen in pixels. This is the height of
-     * the screen and not the height available for the application.
-     * 
-     * <p>
-     * Note that the screen height is typically not available in the
-     * {@link com.vaadin.Application#init()} method as this is called before the
-     * browser has a chance to report the screen size to the server.
-     * </p>
-     * 
-     * @return the height of the terminal screen.
-     */
-    public int getScreenHeight();
-
-    /**
-     * An error event implementation for Terminal.
-     */
-    public interface ErrorEvent extends Serializable {
-
-        /**
-         * Gets the contained throwable, the cause of the error.
-         */
-        public Throwable getThrowable();
-
-    }
-
-    /**
-     * Interface for listening to Terminal errors.
-     */
-    public interface ErrorListener extends Serializable {
-
-        /**
-         * Invoked when a terminal error occurs.
-         * 
-         * @param event
-         *            the fired event.
-         */
-        public void terminalError(Terminal.ErrorEvent event);
-    }
-}