Xfce Wiki

Sub domains
 

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
xfce:xfce4-panel:windowmenu [2012/01/04 21:19]
nick [Properties]
xfce:xfce4-panel:windowmenu [2013/01/10 11:01] (current)
nick
Line 1: Line 1:
 ====== Window Menu ====== ====== Window Menu ======
 +
  
 The //Window Menu// panel plugin allows you to switch between application windows using a menu.  The //Window Menu// panel plugin allows you to switch between application windows using a menu. 
  
-===== Properties =====+====== Properties ​======
  
 <figure "​Window Menu's properties dialog">​ <figure "​Window Menu's properties dialog">​
 {{:​xfce:​xfce4-panel:​windowmenu.png?​nolink&​|}} {{:​xfce:​xfce4-panel:​windowmenu.png?​nolink&​|}}
 </​figure>​ </​figure>​
-==== Appearance ====+ 
 +===== Appearance ​=====
  
 ? Button Layout ? Button Layout
Line 23: Line 25:
 ! Enables emergency notification for applications which require immediate focus. ​ ! Enables emergency notification for applications which require immediate focus. ​
  
-==== Filtering ====+===== Filtering ​=====
  
 ? Show windows from all workspaces ? Show windows from all workspaces
 ! When enabled, the //Window Menu// shows windows from all available workspaces. When disabled, only windows from the current workspace will be shown. ​ ! When enabled, the //Window Menu// shows windows from all available workspaces. When disabled, only windows from the current workspace will be shown. ​
  
-===== Style Properties =====+====== Style Properties ​======
  
 You can set a custom icon size in gtk-icon-sizes with the name ''​panel-window-menu''​. The default icon size is 16px. Note that the window icons are 16 or 32 pixels, all other sizes will result in scaling. Special widget name in this plugin is ''​windowmenu-button''​. You can set a custom icon size in gtk-icon-sizes with the name ''​panel-window-menu''​. The default icon size is 16px. Note that the window icons are 16 or 32 pixels, all other sizes will result in scaling. Special widget name in this plugin is ''​windowmenu-button''​.