Dmitry Podgorny 0346fda0b3 most FREE_SET_NULL replaced with free ... FREE_SET_NULL makes extra assignment of NULL for pointers in stack or dynamic memory that is going to be freed. FREE_SET_NULL is useful for pointers that can be used in future.		2013-08-03 14:27:07 +03:00
..
console.c	most FREE_SET_NULL replaced with free	2013-08-03 14:27:07 +03:00
core.c	most FREE_SET_NULL replaced with free	2013-08-03 14:27:07 +03:00
inputwin.c	Down arrow adds current line to history and shows empty line	2013-07-13 23:02:36 +01:00
notifier.c
notifier.h
statusbar.c	removed sizeof(char)	2013-08-03 13:17:50 +03:00
titlebar.c	removed sizeof(char)	2013-08-03 13:17:50 +03:00
ui.h	draft of bookmarks implementation	2013-07-14 23:58:02 +03:00
window.c
window.h