#include "tctl.h"
#include "../sys/ioctl.h"

#define GET_WIN_SIZE 0x5413
#define SET_WIN_SIZE 0x5414

window_size_t tctl_get_window_size()
{
	window_size_t ws;
	ioctl(0, GET_WIN_SIZE, &ws);
	return ws;
}


void tctl_set_window_size(window_size_t size)
{
	ioctl(0, SET_WIN_SIZE, &size);
}