* Extend size of extrakeys in search menu so that there is no conflict with
commite8d813ec09607b9466e97155ffd35e27d485ef8a
authorEduardo Chappa <chappa@washington.edu>
Sun, 31 Jan 2016 22:55:57 +0000 (31 15:55 -0700)
committerEduardo Chappa <chappa@washington.edu>
Sun, 31 Jan 2016 22:55:57 +0000 (31 15:55 -0700)
tree723499c58f52639c6f0c17153a8a097b77f32472
parentfe6139e073a2810420a8f6f869171a262929022d
   * Extend size of extrakeys in search menu so that there is no conflict with
     expected size in modules in display.c.
pico/search.c