1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/framework/env/charset/set.lua	Sun Oct 25 12:00:00 2009 +0100
     1.3 @@ -0,0 +1,12 @@
     1.4 +--[[--
     1.5 +charset.set(
     1.6 +  charset_ident  -- identifier of a charset, i.e. "UTF-8"
     1.7 +)
     1.8 +
     1.9 +Changes the currently used charset. Only "UTF-8" is supported, which is already set as a default, so calling this function is not really useful yet.
    1.10 +
    1.11 +--]]--
    1.12 +
    1.13 +function charset.set(charset_ident)
    1.14 +  charset._current = charset_ident
    1.15 +end