Change the title of the shortcuts manager window
authorJacques-Pascal Deplaix <jp.deplaix@gmail.com>
Tue, 12 Jun 2012 18:35:51 +0000 (20:35 +0200)
committerJacques-Pascal Deplaix <jp.deplaix@gmail.com>
Tue, 12 Jun 2012 18:35:51 +0000 (20:35 +0200)
commitcd1334910d8ca16b06648096ab4e9e5e19986a43
tree1b55eabacd80dc0138da4fc9fb26cf4c96a2d829
parenta87835cf0729649450b5d90c715065cb728b82d6
Change the title of the shortcuts manager window
src/shortcuts-manager.vala