#183: map index should be more intelligent -------------------------+-------------------------------------------------- Reporter: bob | Owner: Kake Type: enhancement | Status: assigned Priority: normal | Milestone: Component: openguides | Version: svn Severity: normal | Resolution: Keywords: | -------------------------+-------------------------------------------------- Changes (by Kake):

* status: new => assigned * owner: dom => Kake

#183: map index should be more intelligent -------------------------+-------------------------------------------------- Reporter: bob | Owner: Nobody Type: enhancement | Status: new Priority: highest | Milestone: Component: openguides | Version: svn Severity: major | Keywords: -------------------------+-------------------------------------------------- Changes (by bob):

* priority: normal => highest * severity: normal => major

Comment:

RGL does this in places.

#183: map index should be more intelligent -------------------------+-------------------------------------------------- Reporter: bob | Owner: kake Type: enhancement | Status: closed Priority: highest | Milestone: Component: openguides | Version: svn Severity: major | Resolution: fixed Keywords: | -------------------------+-------------------------------------------------- Changes (by kake):

* status: new => closed * resolution: => fixed

Comment:

Fixed in [1336], [1344], and [1345].