Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Next revisionBoth sides next revision | ||
custom:menu_files [2018/10/25 03:24] – [Menu Files] digital man | custom:menu_files [2018/10/25 03:36] – [Menu Files] More details about the new-improve display/menu file selection process digital man | ||
---|---|---|---|
Line 28: | Line 28: | ||
Each of these file types may be preempted by a terminal-width specific file with a name ending in '' | Each of these file types may be preempted by a terminal-width specific file with a name ending in '' | ||
- | If you only have **one** display file for any particular base filename, it should have either a '' | + | If you only have **one** display file for any particular base filename, it should have either a '' |
See the [[http:// | See the [[http:// |