Convert file indexing code in ui::input.
treec436ce1473783a04bd2e67660ba5ef2c195dcd29
-rw-r--r-- 18005 COPYING
-rw-r--r-- 31617 Changelog
-rw-r--r-- 3701 Makefile
-rw-r--r-- 6947 README
-rw-r--r-- 2302 ale.cc
-rw-r--r-- 1124 ale_accum.h
-rw-r--r-- 1529 ale_pos.h
-rw-r--r-- 4332 ale_real.h
-rw-r--r-- 1243 d2.cc
-rw-r--r-- 3042 d2.h
drwxr-xr-x - d2
-rw-r--r-- 1223 d3.cc
-rw-r--r-- 1489 d3.h
drwxr-xr-x - d3
drwxr-xr-x - device
-rw-r--r-- 1816 optimizations.h
drwxr-xr-x - scripts
drwxr-xr-x - testsuite
drwxr-xr-x - ui