| Summary: | Editor indentation issues | ||
|---|---|---|---|
| Product: | z_Archived | Reporter: | Jörgen E <jek6094> |
| Component: | PDT | Assignee: | Seva Lapsha <seva.lapsha> |
| Status: | CLOSED FIXED | QA Contact: | |
| Severity: | normal | ||
| Priority: | P3 | ||
| Version: | unspecified | ||
| Target Milestone: | --- | ||
| Hardware: | PC | ||
| OS: | Windows XP | ||
| URL: | http://web.telia.com/~u85426484/phpide/php-ide-indentation.htm | ||
| Whiteboard: | |||
|
Description
Jörgen E
Copy/Paste bug was repro'ed in 0.1.9 on Linux/GTK 1) Enter some text 2) [TAB] at the beginning of the line 3) Copy the whole line (Shift+down arrow, Ctrl+c) 4) Paste line a couple of times (Ctrl+v) Every third line is indented an additional tabstop Fixed. fixed |