| Summary: | Editor is not refreshed if you duplicate a line above folding | ||
|---|---|---|---|
| Product: | z_Archived | Reporter: | Sylvia Tancheva <silviya> |
| Component: | PDT | Assignee: | PHP UI <php.ui-inbox> |
| Status: | CLOSED FIXED | QA Contact: | |
| Severity: | normal | ||
| Priority: | P3 | CC: | zulus |
| Version: | unspecified | ||
| Target Milestone: | --- | ||
| Hardware: | PC | ||
| OS: | Windows XP | ||
| Whiteboard: | |||
I don't know when, but works correctly now ;) |
1. Take this code: <?php class asdf { /** * Enter description here ... * @var unknown_type */ private $boom; /** * Enter description here ... * @var unknown_type */ private $boom2; } 2. Fold the second comment 3. Stand on the line private $boom; and press ctrl+alt+down arrow Expected: The line of code is duplicated (try on line private $boom2; to see the expected result) Actual: In the editor nothing seem to change, but the file is actually changed (you can see the * in the tab) and if you save and reopen you will see that the line was actually duplicated