changed top widget of panels from frame to box
commitf91f2eb1737be5b1175178d8d2b8ae64b0f667d7
authorkojima <kojima>
Thu, 8 Feb 2001 21:54:12 +0000 (8 21:54 +0000)
committerkojima <kojima>
Thu, 8 Feb 2001 21:54:12 +0000 (8 21:54 +0000)
tree103d266a33c5a5f87443a69e77f86e6cf77c366f
parent15b720046bfbd77cceb05b2bfbfcd2ffdd2f63ab
changed top widget of panels from frame to box
18 files changed:
WPrefs.app/Appearance.c
WPrefs.app/Configurations.c
WPrefs.app/Expert.c
WPrefs.app/Focus.c
WPrefs.app/Font.c
WPrefs.app/Icons.c
WPrefs.app/KeyboardSettings.c
WPrefs.app/KeyboardShortcuts.c
WPrefs.app/Menu.c
WPrefs.app/MenuPreferences.c
WPrefs.app/MouseSettings.c
WPrefs.app/Paths.c
WPrefs.app/Preferences.c
WPrefs.app/Themes.c
WPrefs.app/WPrefs.c
WPrefs.app/WPrefs.h
WPrefs.app/WindowHandling.c
WPrefs.app/Workspace.c