dump_selections.sh: use a more robust way to get the window name
authorAntonio Ospite <ao2@ao2.it>
Mon, 19 Jun 2017 14:27:51 +0000 (16:27 +0200)
committerAntonio Ospite <ao2@ao2.it>
Mon, 19 Jun 2017 14:44:13 +0000 (16:44 +0200)
commit7ec9bb1dbf27b7cad6165e7d9c7fc5831986631a
tree774ae41aa36a8d7c779fb2ee0571aa8d3f9f3434
parent543ca83524a7e7aa3c7d87227c2ac8dbff2033ff
dump_selections.sh: use a more robust way to get the window name
dump_selections.sh