Diff

loader.lua @ 13205:0ccd82b965d5

core.moduleapi: Improve handling of different types in :get_option_period Pass positive numbers trough unharmed, parse strings as periods, discard anything else.
author Kim Alvefur <zash@zash.se>
date Sun, 16 Jul 2023 20:59:27 +0200
parent 12949:2f61ebcf37c0
line wrap: on
line diff