Closed GoogleCodeExporter closed 9 years ago
We already pop up a menu to change an object's ID with '#'. Should we use a
modifier?
Original comment by buckyballreaction
on 14 Jan 2015 at 4:34
Sure, or another key ([!]?), whatever makes sense. I just thought # would be
easy to remember; there's no further significance to it.
Original comment by Embergam...@gmail.com
on 14 Jan 2015 at 6:38
Done in 020; could be backported to 019, but not necessary. Chose Ctrl-#.
Original comment by watusim...@bitfighter.org
on 12 Feb 2015 at 6:47
Original issue reported on code.google.com by
watusim...@bitfighter.org
on 12 Jan 2015 at 8:23