table.insert(Editor_state.lines, 1, {data=os.date('%Y-%m-%d %H:%M:%S', t), mode='text'})

  table.insert(Editor_state.lines, 1, {data=os.date('%Y-%m-%d %H:%M:%S %Z', t), mode='text'})