Christopher Jeffrey 8460e1c8a0 possibly fix max autoPadding height+border problem ...

An element with a border has a child with no height or width properties, but a
left and top of 0: this causes the child elements background to cover the
bottom and right borders. It doesn't have a `position.right`, but `iright`
still needs to be subtracted.

2013-08-13 11:56:30 -05:00

..

alias.js

misc - add a blessed.js file.

2013-07-24 14:41:02 -05:00

blessed.js

misc - add a blessed.js file.

2013-07-24 14:41:02 -05:00

colors.js

misc - add a blessed.js file.

2013-07-24 14:41:02 -05:00

events.js

fix uncaught error throwing.

2013-08-02 12:47:22 -05:00

program.js

decode mouse events and responses properly.

2013-08-13 11:30:44 -05:00

tput.js

check TERMINFO_DIRS correctly.

2013-08-11 23:13:28 -05:00

widget.js

possibly fix max autoPadding height+border problem

2013-08-13 11:56:30 -05:00