term: stay in lazy mode for hidden terms
authorAli Gholami Rudi <ali@rudi.ir>
Wed, 18 Sep 2013 14:50:51 +0000 (19:20 +0430)
committerAli Gholami Rudi <ali@rudi.ir>
Wed, 18 Sep 2013 14:50:51 +0000 (19:20 +0430)
commita968754d3ffa61195cfa2d8863f7f51ac61a336c
treea5992f939d3322a783448d61d10201e6de975f14
parenta02535fc030f4fc586d7284c6eec24615ef907dc
term: stay in lazy mode for hidden terms
fbpad.c
fbpad.h
term.c