diff --git a/frontend/document/credocument.lua b/frontend/document/credocument.lua index 76ac52e61..aff95677b 100644 --- a/frontend/document/credocument.lua +++ b/frontend/document/credocument.lua @@ -1,4 +1,5 @@ local Geom = require("ui/geometry") +local Blitbuffer = require("ffi/blitbuffer") local CreOptions = require("ui/data/creoptions") local Document = require("document/document") local Geom = require("ui/geometry") diff --git a/frontend/document/document.lua b/frontend/document/document.lua index 261743098..60608f6a3 100644 --- a/frontend/document/document.lua +++ b/frontend/document/document.lua @@ -1,4 +1,5 @@ local DrawContext = require("ffi/drawcontext") +local Blitbuffer = require("ffi/blitbuffer") local Cache = require("cache") local CacheItem = require("cacheitem") local TileCacheItem = require("document/tilecacheitem") diff --git a/frontend/ui/widget/textboxwidget.lua b/frontend/ui/widget/textboxwidget.lua index cd67c04c5..7964af4d0 100644 --- a/frontend/ui/widget/textboxwidget.lua +++ b/frontend/ui/widget/textboxwidget.lua @@ -1,3 +1,4 @@ +local Blitbuffer = require("ffi/blitbuffer") local Widget = require("ui/widget/widget") local RenderText = require("ui/rendertext") local Screen = require("ui/screen") @@ -71,7 +72,7 @@ However string.gmatch() has one significant disadvantage for me: You can't split a string while matching both the delimited strings and the delimiters themselves without tracking positions and substrings. The string.gsplit() function below takes care of -this problem. +this problem. Author: Peter Odding License: MIT/X11 Source: http://snippets.luacode.org/snippets/String_splitting_130