Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
xfce:xfce4-panel:preferences [2022/12/05 16:19] – [General] gael | xfce:xfce4-panel:preferences [2022/12/05 17:59] (current) – [Measurements] Update 4.18 gael | ||
---|---|---|---|
Line 70: | Line 70: | ||
! Note that the minimum autohide-size is 1. | ! Note that the minimum autohide-size is 1. | ||
- | ? Don't reserve space on borders | + | ? Keep panel above windows |
! Normally, maximized application windows do not overlap the panel. Setting this option disables this behavior and allows the windows to stretch to the screen edge behind the panel. This option is only available when the panel is set to never hide. | ! Normally, maximized application windows do not overlap the panel. Setting this option disables this behavior and allows the windows to stretch to the screen edge behind the panel. This option is only available when the panel is set to never hide. | ||
Line 81: | Line 81: | ||
? Number of rows | ? Number of rows | ||
! Change the number of rows (or columns, if the panel is in Vertical or Deskbar mode) of the panel. Smaller panel plugins, such as [[launcher|launchers]], | ! Change the number of rows (or columns, if the panel is in Vertical or Deskbar mode) of the panel. Smaller panel plugins, such as [[launcher|launchers]], | ||
- | ? Length (%) | + | ? Length (pixels) |
- | ! Change the width (or height, if the panel is in Vertical or Deskbar mode) of the panel. The size is specified | + | ! Change the width (or height, if the panel is in Vertical or Deskbar mode) of the panel. The size is specified |
? Automatically increase the length | ? Automatically increase the length | ||
! Automatically increase the length of the panel to accommodate all the plugins. This option is useful when setting up short panels, which can be enabled to expand as content gets added. | ! Automatically increase the length of the panel to accommodate all the plugins. This option is useful when setting up short panels, which can be enabled to expand as content gets added. |