~onboard/onboard/1.1

« back to all changes in this revision

Viewing changes to Onboard/KeyboardWidget.py

  • Committer: marmuta
  • Date: 2015-08-19 11:24:26 UTC
  • Revision ID: marmvta@gmail.com-20150819112426-edgaa9yacttl57eb
Merge trunk rev. 1954: Fix jerky window movement when moving by title bar, i.e. with window decoration enabled.

Show diffs side-by-side

added added

removed removed

Lines of Context:
119
119
        self._keyboard.commit_transition()
120
120
        return False
121
121
 
 
122
 
122
123
class HideInputLineTimer(Timer):
123
124
    """
124
125
    Temporarily hides the input line when the pointer touches it.