diff options
author | a1346054 <36859588+a1346054@users.noreply.github.com> | 2020-09-26 20:47:52 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-26 22:47:52 +0200 |
commit | 96c7ab0fffa7dee1090c72fbe0763bcb9f75667a (patch) | |
tree | 43dc9fb98ee60c48113328025bd68c3abc2c8f9d /doc/rofi-theme.5.markdown | |
parent | 83610ff682c7ea5e4efca0d1f999d695e0187814 (diff) |
Fix spelling (#1202)
Diffstat (limited to 'doc/rofi-theme.5.markdown')
-rw-r--r-- | doc/rofi-theme.5.markdown | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/rofi-theme.5.markdown b/doc/rofi-theme.5.markdown index 7c23dbf8..48942416 100644 --- a/doc/rofi-theme.5.markdown +++ b/doc/rofi-theme.5.markdown @@ -9,7 +9,7 @@ The need for a new theme format was motivated by the fact that the way rofi handled widgets has changed. From a very static drawing of lines and text to a nice structured form of packing widgets. This change made it possible to provide a more flexible theme framework. The old theme format and config file are not flexible enough to expose these options in a -user-friendly way. Therefor, a new file format has been created, replacing the old one. +user-friendly way. Therefore, a new file format has been created, replacing the old one. ## FORMAT SPECIFICATION |