mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-28 09:38:53 +00:00
ca47280ce9
This patch implements the following policy for applications requesting exclusive input (relative motion): The pointer is grabbed as soon as the user clicks inside the application window. It is forcibly ungrabbed on any window-focus change or when tapping the KEY_SCREEN. An application can always enable (transient) exclusive input during a key sequence, e.g., when dragging the mouse while holding the mouse button. Transient exclusive input is revoked when releasing the last button/key. Fixes #5355
45 lines
1.5 KiB
Plaintext
45 lines
1.5 KiB
Plaintext
<config rules="rom">
|
|
<report rules="yes"/>
|
|
|
|
<rules>
|
|
<screen name="screen_1"/>
|
|
<screen name="screen_2"/>
|
|
<screen name="screen_3"/>
|
|
<screen name="screen_4"/>
|
|
<screen name="screen_5"/>
|
|
<screen name="screen_6"/>
|
|
<screen name="screen_7"/>
|
|
<screen name="screen_8"/>
|
|
<screen name="screen_9"/>
|
|
<screen name="screen_0"/>
|
|
<assign label_prefix="" target="screen_1" xpos="any" ypos="any"/>
|
|
</rules>
|
|
|
|
<press key="KEY_SCREEN" action="release_grab">
|
|
<press key="KEY_TAB" action="next_window">
|
|
<release key="KEY_TAB">
|
|
<release key="KEY_SCREEN" action="raise_window"/>
|
|
</release>
|
|
<release key="KEY_SCREEN" action="raise_window"/>
|
|
</press>
|
|
<press key="KEY_LEFTSHIFT">
|
|
<press key="KEY_TAB" action="prev_window">
|
|
<release key="KEY_TAB">
|
|
<release key="KEY_SCREEN" action="raise_window"/>
|
|
</release>
|
|
</press>
|
|
</press>
|
|
<press key="KEY_ENTER" action="toggle_fullscreen"/>
|
|
<press key="KEY_1" action="screen" target="screen_1"/>
|
|
<press key="KEY_2" action="screen" target="screen_2"/>
|
|
<press key="KEY_3" action="screen" target="screen_3"/>
|
|
<press key="KEY_4" action="screen" target="screen_4"/>
|
|
<press key="KEY_5" action="screen" target="screen_5"/>
|
|
<press key="KEY_6" action="screen" target="screen_6"/>
|
|
<press key="KEY_7" action="screen" target="screen_7"/>
|
|
<press key="KEY_8" action="screen" target="screen_8"/>
|
|
<press key="KEY_9" action="screen" target="screen_9"/>
|
|
<press key="KEY_0" action="screen" target="screen_0"/>
|
|
</press>
|
|
</config>
|