aboutsummaryrefslogtreecommitdiffhomepage
path: root/src
diff options
context:
space:
mode:
authorGravatar mitchell <70453897+667e-11@users.noreply.github.com>2020-07-08 10:30:55 -0400
committerGravatar mitchell <70453897+667e-11@users.noreply.github.com>2020-07-08 10:30:55 -0400
commit90ef1f690732c084cbc0c284d853b13d23cf2d3f (patch)
tree8b3456c71ff6bc1c4d5f5c132703337c442b8753 /src
parent584e580c2213f91a17425be10d57aa5bd2f3d509 (diff)
Reverted accidental commit of experimental changes.
Diffstat (limited to 'src')
-rw-r--r--src/textadept.c16
1 files changed, 0 insertions, 16 deletions
diff --git a/src/textadept.c b/src/textadept.c
index 9f4414a6..2afb1b59 100644
--- a/src/textadept.c
+++ b/src/textadept.c
@@ -828,21 +828,6 @@ static int menu(lua_State *L) {
#endif
}
-/** `ui.update()` Lua function. */
-static int update_ui(lua_State *L) {
-#if GTK
- while (gtk_events_pending()) gtk_main_iteration();
-#elif CURSES
- struct timeval timeout = {0, 1e5}; // 0.1s
- int nfds = os_spawn_pushfds(L);
- fd_set *fds = (fd_set *)lua_touserdata(L, -1);
- while (select(nfds, fds, NULL, NULL, &timeout) > 0)
- if (os_spawn_readfds(L) >= 0) refresh_all();
- lua_pop(L, 1); // fd_set
-#endif
- return 0;
-}
-
/** `ui.__index` Lua metamethod. */
static int ui_index(lua_State *L) {
const char *key = lua_tostring(L, 2);
@@ -1605,7 +1590,6 @@ static int init_lua(lua_State *L, int argc, char **argv, int reinit) {
lua_pushcfunction(L, get_split_table), lua_setfield(L, -2, "get_split_table");
lua_pushcfunction(L, goto_view), lua_setfield(L, -2, "goto_view");
lua_pushcfunction(L, menu), lua_setfield(L, -2, "menu");
- lua_pushcfunction(L, update_ui), lua_setfield(L, -2, "update");
set_metatable(L, -1, "ta_ui", ui_index, ui_newindex);
lua_setglobal(L, "ui");