Re: [platform-help-dev] Request to grow a new fragment

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

Re: [platform-help-dev] Request to grow a new fragment

From: Andre Weinand <weinand@xxxxxxx>
Date: Tue, 10 Sep 2002 18:45:05 +0200
Delivered-to: platform-help-dev@xxxxxxxxxxx
List-archive: <http://dev.eclipse.org/pipermail/platform-help-dev/>
List-help: <mailto:platform-help-dev-request@eclipse.org?subject=help>
List-subscribe: <http://dev.eclipse.org/mailman/listinfo/platform-help-dev>, <mailto:platform-help-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <http://dev.eclipse.org/mailman/listinfo/platform-help-dev>, <mailto:platform-help-dev-request@eclipse.org?subject=unsubscribe>

Since there is little code, I think we can just add it to the existing
plug-in (org.eclipse.help.ui).  We can always refactor and break out a
fragment later if necessary.

Andre, you can attach a patch to the bug 21427.  I will be happy to apply
it.


Done. I've added a patch file to bug 21427.
Thanks,
--andre

Prev by Date: Re: [platform-help-dev] Request to grow a new fragment
Next by Date: Re: [platform-help-dev] Request to grow a new fragment
Previous by thread: Re: [platform-help-dev] Request to grow a new fragment
Next by thread: Re: [platform-help-dev] Request to grow a new fragment
Index(es):
- Date
- Thread

Breadcrumbs