Add option to merge the workspace-switching functionality into the dock
[wmaker-crm.git] / debian / wmaker.lintian-overrides
blobdf59b20bd8fb535890ac52ca3f053f6e14a77334
1 # wmaker (WindowMaker) has a different menu system,
2 # non debian-standard.
4 # wmaker has menus for Appearance, Workspaces,...
5 # These menus are created as new root sections.
6 wmaker: menu-item-creates-new-root-section
7 # wmaker has commands like SHUTDOWN, EXEC, OPEN_MENU,...
8 # that are not system/package/binary commands (hooks?)
9 wmaker: menu-command-not-in-package
10 # arg is used to pass an argument to the hook command
11 # eg: command="OPEN_MENU" arg="appearance.menu"
12 wmaker: menu-item-contains-unknown-tag
13 # needs has the tag "wmaker"
14 # eg: ?package(wmaker):needs="wmaker"
15 wmaker: menu-item-needs-tag-has-unknown-value