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 |