desktop: fixed bug where menu's Rename Device option got incorrectly disabled
commitb20fc9f2ef6e4a9846748fb8492230e4cf1e3045
authorChris Frey <cdfrey@foursquare.net>
Wed, 23 May 2012 06:16:40 +0000 (23 02:16 -0400)
committerChris Frey <cdfrey@foursquare.net>
Wed, 23 May 2012 06:16:40 +0000 (23 02:16 -0400)
tree37ff69bc2240f2cb861faaebe429542db5ca150e
parentd37c9ec6c44839c0cb944d2bb09138eefd5ceaaa
desktop: fixed bug where menu's Rename Device option got incorrectly disabled
desktop/src/BaseFrame.cc