| Summary: | PHP Explorer Window working set not properly loaded if not set on startup | ||
|---|---|---|---|
| Product: | z_Archived | Reporter: | john.milmine |
| Component: | PDT | Assignee: | PHP UI <php.ui-inbox> |
| Status: | CLOSED FIXED | QA Contact: | Ilina Stefanova <ilina.s> |
| Severity: | major | ||
| Priority: | P3 | CC: | kalin.a, zhaozhongwei |
| Version: | unspecified | ||
| Target Milestone: | --- | ||
| Hardware: | Macintosh | ||
| OS: | Mac OS X - Carbon (unsup.) | ||
| Whiteboard: | |||
|
Description
john.milmine
this bug has been fixed in head Verified. Closing... |