[dev][surf][patch] switch togglebars key to GDK_bar

From: Carlos Torres <vlaadbrain_AT_gmail.com>
Date: Mon, 4 Mar 2013 20:18:03 -0500

Hello, this is a suggestion for a switch of the togglebars key to
GDK_bar which happens to the be pipe and seems quite apropos.

Enjoy

--Carlos

Received on Tue Mar 05 2013 - 02:18:03 CET

This archive was generated by hypermail 2.3.0 : Tue Mar 05 2013 - 02:24:05 CET