diff options
author | markt <markt> | 2007-01-15 18:37:23 (GMT) |
---|---|---|
committer | markt <markt> | 2007-01-15 18:37:23 (GMT) |
commit | db0b1fadb82381c42ad4498f795c186cdb94c518 (patch) | |
tree | f19f5d1009eef0a3e72243c685c725bcc1a52adb /doc | |
parent | e622927efb135a0fd69d5d2227ae6f532f4ff0c7 (diff) | |
download | fluxbox_pavel-db0b1fadb82381c42ad4498f795c186cdb94c518.zip fluxbox_pavel-db0b1fadb82381c42ad4498f795c186cdb94c518.tar.bz2 |
minor edits to manual
Diffstat (limited to 'doc')
-rw-r--r-- | doc/asciidoc/fluxbox.txt | 15 |
1 files changed, 9 insertions, 6 deletions
diff --git a/doc/asciidoc/fluxbox.txt b/doc/asciidoc/fluxbox.txt index f5e2519..5f3a1ec 100644 --- a/doc/asciidoc/fluxbox.txt +++ b/doc/asciidoc/fluxbox.txt | |||
@@ -554,8 +554,8 @@ TOOLBAR | |||
554 | ------- | 554 | ------- |
555 | The toolbar is a small area to display information like a clock, workspace name, | 555 | The toolbar is a small area to display information like a clock, workspace name, |
556 | a system tray or a taskbar (iconbar) that can contain the running programs. The | 556 | a system tray or a taskbar (iconbar) that can contain the running programs. The |
557 | color, look, font etc. is defined in the the style and can't be defined as a | 557 | color, look, font etc. is defined in the style and can't be defined as a global |
558 | global setting (except with the style overlay). | 558 | setting (except with the style overlay). |
559 | 559 | ||
560 | The tools in the toolbar can be enabled/disabled in the init file with the | 560 | The tools in the toolbar can be enabled/disabled in the init file with the |
561 | arguments given to the line: | 561 | arguments given to the line: |
@@ -1389,8 +1389,8 @@ tabs. Inside of it there are three main options: | |||
1389 | - *External Tab Width*: | 1389 | - *External Tab Width*: |
1390 | This specifies in pixels the width of external tabs. | 1390 | This specifies in pixels the width of external tabs. |
1391 | 1391 | ||
1392 | As most Fluxbox configurations this can be done by editing the init file. The | 1392 | As with most Fluxbox configurations, these options can be changed by editing the |
1393 | resources that you should look at are: | 1393 | init file. The resources that you should look at are: |
1394 | 1394 | ||
1395 | session.screen0.tabs.intitlebar: <boolean> | 1395 | session.screen0.tabs.intitlebar: <boolean> |
1396 | session.screen0.tab.width: <integer> | 1396 | session.screen0.tab.width: <integer> |
@@ -1405,9 +1405,12 @@ window borders, menus and the toolbar. | |||
1405 | The default installation of fluxbox provides some of these style files. See | 1405 | The default installation of fluxbox provides some of these style files. See |
1406 | fluxstyle(1) to accommodate the growing number of style components. | 1406 | fluxstyle(1) to accommodate the growing number of style components. |
1407 | 1407 | ||
1408 | STYLE OVERLAY | ||
1409 | ------------- | ||
1408 | In addition to the style file, the overlay file, whose location is specified by | 1410 | In addition to the style file, the overlay file, whose location is specified by |
1409 | session.screen0.styleOverlay can be used to set style resources that override | 1411 | session.screen0.styleOverlay (default: ~/.fluxbox/overlay ) can be used to set |
1410 | the current style. | 1412 | style resources that override all styles. For more information about which parts |
1413 | of fluxbox can be controlled by the overlay file, see fluxstyle(1). | ||
1411 | 1414 | ||
1412 | APPLICATIONS | 1415 | APPLICATIONS |
1413 | ------------ | 1416 | ------------ |