void () { // Grid options EditorOptions editorOptions = options.getEditorOptions(); ExternalEditorOptions externalEditorOptions = options.getExternalEditorOptions(); GridOptions gridOptions = editorOptions.getGridOptions(); showGrid.setSelected(gridOptions.isShowDefault()); gridLineZoomFactor.setValue(gridOptions.getLineZoomFactor()); gridLineSpan.setValue(gridOptions.getLineSpan()); TransparencyChessboardOptions transparencyChessboardOptions = editorOptions.getTransparencyChessboardOptions(); showChessboard.setSelected(transparencyChessboardOptions.isShowDefault()); chessboardSize.setValue(transparencyChessboardOptions.getCellSize()); externalEditorPath.setText(externalEditorOptions.getExecutablePath()); }