move proxy out into sample/proxy

samples/pond/editors_stub.dart

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 // Stubs implementing the editors API.
 // --------------------------------------------------------------
 // All of the code in this file should be generated automatically.
 // --------------------------------------------------------------
 
 #library("editor_stub");
 
+#import("../proxy/proxy.dart");
 #import("editors.dart");
 
 /**
  * An [EditorFactory] proxy that sends messages to another isolate that actually
  * implements the editor factory functionality.
  */
 class EditorFactoryProxy extends RpcProxy implements EditorFactory {
   EditorFactoryProxy(Future<SendPort> futureSendPort)
       : super(futureSendPort) { }
   Future<EditorProxy> newEditor(String id, String type) {
@@ skipping 36 matching lines @@
 /**
  * An [Marker] proxy that sends messages to another isolate that actually
  * implements the text marker functionality.
  */
 class MarkerProxy extends RpcProxy implements Marker {
   MarkerProxy(Future<SendPort> futureSendPort) : super(futureSendPort) { }
   Future clear() {
     return sendCommand("clear", null, null);
   }
 }