desktop-shell: Rename panel_widget to panel_launcher
authorKristian Høgsberg <krh@bitplanet.net>
Mon, 9 Jan 2012 16:16:50 +0000 (11:16 -0500)
committerKristian Høgsberg <krh@bitplanet.net>
Mon, 9 Jan 2012 16:16:50 +0000 (11:16 -0500)
commit5388080949dabd8bb4d27c60898080d9817b64f2
tree59aeb1a69506f9bdbc0430f0998cff4c0890baa3
parenta8a0db3497280b50d3b1546a4dbbc3c840bd1637
desktop-shell: Rename panel_widget to panel_launcher
clients/desktop-shell.c