Oracle SQL Developer

SQL Developer PreferencesSQL Developer Preferences1.10.7 ExtensionsThe Extensions pane determines which extensions SQL Developer uses what it starts.If you change any settings, you must exit SQL Developer and restart it for the newsetting to take effect.Extensions to Use: Controls the specific extensions to use at startup.Check for Updates: Checks for any updates to the selected extensions.Automatically Check for Updates: If this option is checked, SQL Developerautomatically checks for any updates to the selected extensions at startup.Related TopicsSQL Developer Preferences1.10.8 File TypesThe File Types pane determines which file types and extensions will be opened bydefault by SQL Developer. The display shows each file extension, the associated filetype, and a check mark if files with that extension are to be opened by SQL Developerbe default, such as when a user double-clicks the file name.Details area at bottom: You can modify the file type, content type (text or binary), andwhether to open files of this extension automatically by SQL Developer.To have files of a specific extension be opened by default by SQL Developer, click thefile extension in the list, then check Open with SQL Developer in the Details area. Thisoverrides any previous application association that may have been in effect for that fileextension.To add a file extension, click Add and specify the file extension (including the period).After adding the extension, you can modify its associated information by selecting itand using the Details area.Related TopicsConfigure File Type Associations (dialog box)SQL Developer Preferences1.10.9 Global Ignore ListThe Global Ignore List pane identifies files and file types that SQL Developer will notuse in any processing.New Filter: Enter a file name (for example, abc.txt) or a wildcard (*) and file type (forexample, *.txt) to identify a specific file or all files of a specified type to be ignored;then click Add to add it to the list.To remove an item from the list, select it and click Remove.To restore the default global ignore list, click Restore Defaults.Related TopicsSQL Developer PreferencesSQL Developer Concepts and Usage 1-33