[orion-dev] Widgets in the editor?

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

[orion-dev] Widgets in the editor?

From: Boris Bokowski <bokowski@xxxxxxxxx>
Date: Thu, 28 Feb 2013 20:53:34 +0100
Delivered-to: orion-dev@xxxxxxxxxxx
List-archive: <https://dev.eclipse.org/mailman/private/orion-dev>
List-help: <mailto:orion-dev-request@eclipse.org?subject=help>
List-subscribe: <https://dev.eclipse.org/mailman/listinfo/orion-dev>, <mailto:orion-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://dev.eclipse.org/mailman/options/orion-dev>, <mailto:orion-dev-request@eclipse.org?subject=unsubscribe>

I tried to find out if you have any plans or if there were any discussions in the past to support widgets in the editor (that sit between two lines and scroll with the editor contents), similar to http://codemirror.net/demo/widget.html.

I couldn't find anything in the wiki or in Bugzilla. Any comments before I enter a feature request?

Boris

Follow-Ups:
- Re: [orion-dev] Widgets in the editor?
  - From: Silenio Quarti

Prev by Date: [orion-dev] Meeting Minutes Feb 28, 2013
Next by Date: Re: [orion-dev] Widgets in the editor?
Previous by thread: [orion-dev] Meeting Minutes Feb 28, 2013
Next by thread: Re: [orion-dev] Widgets in the editor?
Index(es):
- Date
- Thread

Breadcrumbs