10-17-2003, 06:19 AM -
2) I was saying "verified" that I could not get hotkeys to work, either. In other words, I was verifying your bug report. Sorry for the confusion.
3) "Yes, Hotkeys are the only way to un-hide it right now..."
... that I can see.
4) I can make a skin for you, if you'd like. Just let me know what you want it to look like. One of the skins that comes with the plugin? Do you want it to match a particular visual style or theme (I would need a screenshot for these)? Or do you leave it up to me?
To help you do it yourself if you'd prefer, you can find the ini file in your %TrueLaunchBar%\Plugins\cmdline\skins\(SkinName)\ directory; the file name is cmdlineskin.ini. The [options] section should be pretty self explanitory. Note though that the name you give your skin here is the name that shows up in Command Line's properties dialog box when selecting a skin. Here are some brief explanations of the [cmdline] section:
background = <filename.png>
Specifies the background image for the plugin
sizingMargins = <left right top bottom>
Specifies how many pixels in from each edge should not be stretched when resizing the plugin.
editMargins = <left right top bottom>
Defines the boundries for the edit box. Like the sizingMargins, this is specified as pixels in from the corresponding edge of the plugin. This also defines how big the dragging edges will be (any plugin space that is not the edit box is dragable).
textColor = <R G B>
Defines the text color. Values are 8 bit base 10 (0-255) for red green and blue.
And that's it. Not a lot to these...
3) "Yes, Hotkeys are the only way to un-hide it right now..."
... that I can see.
4) I can make a skin for you, if you'd like. Just let me know what you want it to look like. One of the skins that comes with the plugin? Do you want it to match a particular visual style or theme (I would need a screenshot for these)? Or do you leave it up to me?
To help you do it yourself if you'd prefer, you can find the ini file in your %TrueLaunchBar%\Plugins\cmdline\skins\(SkinName)\ directory; the file name is cmdlineskin.ini. The [options] section should be pretty self explanitory. Note though that the name you give your skin here is the name that shows up in Command Line's properties dialog box when selecting a skin. Here are some brief explanations of the [cmdline] section:
background = <filename.png>
Specifies the background image for the plugin
sizingMargins = <left right top bottom>
Specifies how many pixels in from each edge should not be stretched when resizing the plugin.
editMargins = <left right top bottom>
Defines the boundries for the edit box. Like the sizingMargins, this is specified as pixels in from the corresponding edge of the plugin. This also defines how big the dragging edges will be (any plugin space that is not the edit box is dragable).
textColor = <R G B>
Defines the text color. Values are 8 bit base 10 (0-255) for red green and blue.
And that's it. Not a lot to these...