Skip to content

Commit e1d7ff8

Browse files
committed
Add file extension filter to open dialog
1 parent 610a37b commit e1d7ff8

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

ui/src/main/java/edu/wpi/grip/ui/MainWindowController.java

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -111,6 +111,9 @@ public void openProject() throws IOException {
111111
if (showConfirmationDialogAndWait()) {
112112
final FileChooser fileChooser = new FileChooser();
113113
fileChooser.setTitle("Open Project");
114+
fileChooser.getExtensionFilters().addAll(
115+
new ExtensionFilter("GRIP File", "*.grip"),
116+
new ExtensionFilter("All Files", "*.*"));
114117

115118
project.getFile().ifPresent(file -> fileChooser.setInitialDirectory(file.getParentFile()));
116119

0 commit comments

Comments
 (0)