View Issue Details
| ID | Project | Category | View Status | Date Submitted | Last Update |
|---|---|---|---|---|---|
| 0001715 | DarkRadiant | Map Editing | public | 25.03.2009 09:58 | 22.01.2011 18:57 |
| Reporter | Baal | Assigned To | greebo | ||
| Priority | normal | Severity | normal | Reproducibility | always |
| Status | closed | Resolution | fixed | ||
| Product Version | 0.9.12 | ||||
| Target Version | 1.4.0 | Fixed in Version | 1.4.0 | ||
| Summary | 0001715: (Non-)case sensitivity of entity property keys | ||||
| Description | When the editor checks for duplicate entity names it doesn't take different capitalization into account. Copying an entity with a "Name" property results in a duplicate. If doom treats all keys as non-case sensitive the editor should too. | ||||
| Tags | No tags attached. | ||||
| Date Modified | Username | Field | Change |
|---|---|---|---|
| 25.03.2009 09:58 | Baal | New Issue | |
| 25.03.2009 10:28 | Baal | Description Updated | |
| 25.03.2009 11:09 | Baal | Summary | (Non-)case sensitivity of entity property key/values => (Non-)case sensitivity of entity property keys |
| 03.04.2009 09:23 | greebo | Status | new => acknowledged |
| 17.06.2010 12:04 | greebo | Status | acknowledged => confirmed |
| 17.06.2010 12:04 | greebo | Target Version | => 1.4.0 |
| 17.06.2010 12:04 | greebo | Relationship added | parent of 0002267 |
| 26.06.2010 09:37 | greebo | Status | confirmed => assigned |
| 26.06.2010 09:37 | greebo | Assigned To | => greebo |
| 26.06.2010 09:40 | greebo | Status | assigned => resolved |
| 26.06.2010 09:40 | greebo | Fixed in Version | => 1.3.3 |
| 26.06.2010 09:40 | greebo | Resolution | open => fixed |
| 06.07.2010 06:20 | greebo | Fixed in Version | 1.3.3 => 1.4.0 |
| 22.01.2011 18:57 | greebo | Status | resolved => closed |
