#242 closed enhancement (fixed)
Fix intro configuration (welcome page)
| Reported by: | David Aspinall | Owned by: | Graham Dutton |
|---|---|---|---|
| Priority: | major | Milestone: | |
| Component: | 1:pg-eclipse | Keywords: | |
| Cc: |
Description (last modified by )
We need to port welcome.xml to the intro content format. Currently it uses content/introContent.xml since welcome.xml is in the wrong format; this content does not work and is not for PG Eclipse anyway.
Useful information at http://www.eclipse.org/eclipse/platform-ua/proposals/welcome/intro_xhtml/index.htm
Change History (8)
comment:1 Changed 16 years ago by
| Component: | 2:pg-emacs → 1:pg-eclipse |
|---|
comment:2 Changed 16 years ago by
| Status: | new → assigned |
|---|
comment:3 Changed 16 years ago by
| Resolution: | → fixed |
|---|---|
| Type: | defect → enhancement |
comment:4 Changed 16 years ago by
| Description: | modified (diff) |
|---|
comment:5 Changed 16 years ago by
| Description: | modified (diff) |
|---|---|
| Milestone: | PG-Eclipse-1.0.6 → PG-Eclipse-1.1.0 |
Great. But I have problems seeing the logo, it seems to be linked to online content? Product reports that it is offline (maybe needs extra plugins for networking?). Suggest removing logo or using local file, and moving to 1.1.0 for future enhancement.
comment:7 Changed 16 years ago by
| Description: | modified (diff) |
|---|---|
| Status: | assigned → closed |
External file references removed. Shame we lose the automatic connection with the current proof general style, but it's probably more trouble than it's worth.
Should raise a new ticket to enhance existing content.
New format is very straightforward so far as static content is concerned: intro XML file has a basic form and either links or includes standard, valid XHTML pages.
Basic placeholder welcome page with external links and a few ideas is now in place.
It should still be improved and more use made of the internal help resources -- re-typing to 'enhancement' as a result.