|
Bugzilla – Full Text Bug Listing |
| Summary: | Tab not working correctly | ||
|---|---|---|---|
| Product: | [Mono] MonoDevelop | Reporter: | Anders Rune Jensen <anders> |
| Component: | texteditor | Assignee: | Michael Hutchinson <mhutchinson> |
| Status: | RESOLVED FIXED | QA Contact: | MD Bugs <monodevelop-bugs> |
| Severity: | Normal | ||
| Priority: | P5 - None | ||
| Version: | 0.17 (Beta 2) | ||
| Target Milestone: | --- | ||
| Hardware: | Other | ||
| OS: | Other | ||
| Whiteboard: | |||
| Found By: | --- | Services Priority: | |
| Business Priority: | Blocker: | --- | |
| Marketing QA Status: | --- | IT Deployment: | --- |
Confirmed. This seems to be a nasty-hard-to-track-down bug, bringing up several other issues -- apparently in this situation the GtkSourceView's OnKeyPressEvent runs into a "Invalid text buffer iterator:" problem, which may explain why this character goes missing regardless of what else I do. It's definitely happening in GtkSourceView OnKeyPressEvent method, even when all of MD's other KeyPress handling is disabled. Perplexing. This is partially a symptom of bug #341762; workaround for this committed in r89637. Fully fixed in r89643. |
The following is quite strange: editor consists of some data: public void foo() { // do something } I want to reindent the line, so I mark the spaces before // do something and hit tab and I get this: public void foo() { // do something } If I press tab again I now get the correct first indention. This is inconsistent, since if I use space instead of tab (using the first line as example) gives me: public void foo() { // do something }