diff options
Diffstat (limited to 'src/files_map.ads')
| -rw-r--r-- | src/files_map.ads | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/files_map.ads b/src/files_map.ads index d06805948..55933ebc3 100644 --- a/src/files_map.ads +++ b/src/files_map.ads @@ -22,6 +22,13 @@ with Nodes; package Files_Map is + -- Range for Tab_Stop. + subtype Tab_Stop_Range is Natural range 1 .. 120; + + -- Tab width: a tab character jumps to the next column that is one plus a + -- multiple of this witdh (if columns are numbered from 1). + Tab_Stop : Tab_Stop_Range := 8; + -- Create the path from DIRECTORY and NAME: -- If NAME is an absolute pathname, then return NAME. -- Otherwise, return the concatenation of DIRECTORY and NAME. |