The INI File: 2.7 Categories in the INI File: [fileManager]

Up: GEOS SDK TechDocs | Up | Prev: 2.6 [expressMenuControl] | Next: 2.8 [input]

The fileManager category is used by file manager applications such as GeoManager. You will probably not find much cause to use these keys during your application development.

dosAssociations

dosAssociations = {<list of associations>}

This key allows a user to associate DOS data files with DOS executables so a particular DOS executable will be launched when the user double-clicks the data file.

dosAssociations = {
	*.ZIP = C:\PKUNZIP.EXE
}

dosLaunchers

dosLaunchers = <Boolean>

If true, this key allows DOS launchers to launch DOS programs. The default is true.

dosLaunchers = true
dosLaunchers = false

dosParameters

dosParameters = <Booeans>

If true, the file manager will allow the passing of parameters to DOS executables..

filenameTokens

filenameTokens = {<list of associations>}

This key allows the user to set icon associations with DOS files. It also allows certain text files to be opened by the text file editor. Certain associations are made by default and should always appear; these are listed below.

filenameTokens = {
	*.EXE = "gDOS",0
	*.COM = "gDOS",0
	*.BAT = "gDOS",0
	*.TXT = "FILE",0,"TeEd",0
	*.DOC = "FILE",0,"TeEd",0
	*.HLP = "FILE",0,"TeEd",0
}

fontID

fontID = <number>

This key sets the font used by GeoManager (or another file manager) when displaying the names and information of files in the folder window. The font ID is set the same way as for the system category; if no font ID is named, the default system font will be used.

fondID = berkeley

fontSize

fontSize = <number>

This key sets the font size used in a folder window. If not specified, it will default to the system font.

fontSize = 10

options

options = <number>

This key controls various file manager options. The options are set and cleared by the user using the file manager's Options menu; the number is a decimal number representing the bits set or cleared for various options.

startupDrivesLocation

startupDrivesLocation = <number>

This key controls the initial location of drive buttons; it is set with the Options menu in the file manager.


Up: GEOS SDK TechDocs | Up | Prev: 2.6 [expressMenuControl] | Next: 2.8 [input]