summaryrefslogtreecommitdiffstats
path: root/releasenotes
diff options
context:
space:
mode:
authorRasmus Steinke <rasi@xssn.at>2015-12-18 23:44:29 +0100
committerRasmus Steinke <rasi@xssn.at>2015-12-18 23:44:29 +0100
commit4f47404290dc129480330cd13fe4c205a2bde7ea (patch)
treec0b7dcd19813dab52f087169171e68533d85059d /releasenotes
parentd39e77199f98649dd345e48a242750ae9916b66c (diff)
fix POSIX number
Diffstat (limited to 'releasenotes')
-rw-r--r--releasenotes/0.15.12/release-0.15.12.markdown4
1 files changed, 2 insertions, 2 deletions
diff --git a/releasenotes/0.15.12/release-0.15.12.markdown b/releasenotes/0.15.12/release-0.15.12.markdown
index 34bda958..1a31d4b1 100644
--- a/releasenotes/0.15.12/release-0.15.12.markdown
+++ b/releasenotes/0.15.12/release-0.15.12.markdown
@@ -31,7 +31,7 @@ If they are available they can be used for keybindings, if not, the user gets a
### DMenu reading from stdin
**Rofi** used to have a custom `fgets` implementation that supported custom separators. The first version was
-slow but got improved. Learning about Posix 2000' `getdelim` this is now used and is almost as fast as the latest custom implementation.
+slow but got improved. Learning about Posix 2008' `getdelim` this is now used and is almost as fast as the latest custom implementation.
Overall this gave a speedup of 6x (from 648 ms for 202000 lines down to 108ms).
@@ -57,7 +57,7 @@ To make things even easier, you can now take screenshots of **rofi** from within
### Theme repository
-This has been requested several times and rofi's website actually has a theming page.. This however got outdated quickly and neither
+This has been requested several times and rofi's website actually has a theming page. This however got outdated quickly and neither
the themes or the screenshots are correct anymore. The newly added rofi-themes git repository allows you to add themes easily:
Fork the repository and export your current color theme with **rofi -dump-xresources-theme**. Place it in the theme directory
of the repository and run the update script. This will automatically generate screenshots and update the page.