From 5a660f607c640ba880bee6acd2e1836dee117b54 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 31 Jul 2008 12:07:36 +0000 Subject: [PATCH] removed obsolete searching preference svn: r11004 original commit: e7c3919d72115ac11f721847215649f68ce85d3c --- collects/framework/private/main.ss | 1 - collects/framework/private/preferences.ss | 4 ---- 2 files changed, 5 deletions(-) diff --git a/collects/framework/private/main.ss b/collects/framework/private/main.ss index 8b7064f7..44587201 100644 --- a/collects/framework/private/main.ss +++ b/collects/framework/private/main.ss @@ -174,7 +174,6 @@ (preferences:set-default 'framework:recent-items-window-h 600 number?) (preferences:set-default 'framework:open-here? #f boolean?) (preferences:set-default 'framework:show-delegate? #f boolean?) - (preferences:set-default 'framework:search-using-dialog? #t boolean?) (preferences:set-default 'framework:windows-mdi #f boolean?) (preferences:set-default 'framework:menu-bindings #t boolean?) (preferences:set-default 'framework:verify-change-format #f boolean?) diff --git a/collects/framework/private/preferences.ss b/collects/framework/private/preferences.ss index 95f36829..db6e0410 100644 --- a/collects/framework/private/preferences.ss +++ b/collects/framework/private/preferences.ss @@ -413,10 +413,6 @@ the state transitions / contracts are: 'framework:auto-set-wrap? (string-constant wrap-words-in-editor-buffers) values values) - (make-check editor-panel - 'framework:search-using-dialog? - (string-constant separate-dialog-for-searching) - values values) (make-check editor-panel 'framework:open-here? (string-constant reuse-existing-frames)