Uses of Class
org.mozilla.javascript.tools.debugger.FileHeader
Packages that use FileHeader
-
Uses of FileHeader in org.mozilla.javascript.tools.debugger
Fields in org.mozilla.javascript.tools.debugger declared as FileHeaderModifier and TypeFieldDescriptionprivate FileHeader
FileWindow.fileHeader
The FileHeader that is the gutter forFileWindow.textArea
.