Home
last modified time | relevance | path

Searched hist:aa0a9454a2cc1ba7f6b737ac330836c3910862d7 (Results 1 – 4 of 4) sorted by relevance

/glogg/glogg/src/
H A Dcrawlerwidget.haa0a9454a2cc1ba7f6b737ac330836c3910862d7 Wed May 24 17:16:11 UTC 2017 Nicolas Bonnefon <nicolas@bonnefon.org> Add shortcuts 'v', '+' and '-' to manipulate filtered view size and content.

Fixes #156
H A Dcrawlerwidget.cppaa0a9454a2cc1ba7f6b737ac330836c3910862d7 Wed May 24 17:16:11 UTC 2017 Nicolas Bonnefon <nicolas@bonnefon.org> Add shortcuts 'v', '+' and '-' to manipulate filtered view size and content.

Fixes #156
/glogg/src/
H A Dcrawlerwidget.haa0a9454a2cc1ba7f6b737ac330836c3910862d7 Wed May 24 17:16:11 UTC 2017 Nicolas Bonnefon <nicolas@bonnefon.org> Add shortcuts 'v', '+' and '-' to manipulate filtered view size and content.

Fixes #156
H A Dcrawlerwidget.cppaa0a9454a2cc1ba7f6b737ac330836c3910862d7 Wed May 24 17:16:11 UTC 2017 Nicolas Bonnefon <nicolas@bonnefon.org> Add shortcuts 'v', '+' and '-' to manipulate filtered view size and content.

Fixes #156