Change dev-tsdh-dark/dev-tsdh-light theme names to tsdh-dark/tsdh-light,

to fit file names.

diff --git a/etc/themes/tsdh-dark-theme.el b/etc/themes/tsdh-dark-theme.el
index 4e9a3422882d3c1bfa39e4f92d133dc0d8750b85..f7761d0489eb07ec94296bfefb2a20536f09a153 100644 (file)
--- a/etc/themes/tsdh-dark-theme.el
+++ b/etc/themes/tsdh-dark-theme.el
@@ -1,4 +1,4 @@
-;;; dev-tsdh-dark-theme.el --- Tassilo's dark custom theme
+;;; tsdh-dark-theme.el --- Tassilo's dark custom theme
 
 ;; Copyright (C) 2011 Free Software Foundation, Inc.
 
@@ -19,11 +19,11 @@
 
 ;;; Code:
 
-(deftheme dev-tsdh-dark
+(deftheme tsdh-dark
   "Theme with dark background used and created by Tassilo Horn.")
 
 (custom-theme-set-faces
- 'dev-tsdh-dark
+ 'tsdh-dark
  '(default ((t (:background "gray20" :foreground "white smoke"))))
  '(diff-added ((t (:inherit diff-changed :background "light green"))))
  '(diff-changed ((t (:background "light steel blue"))))
@@ -55,5 +55,4 @@
  '(show-paren-mismatch ((t (:background "deep pink"))))
  '(window-number-face ((t (:foreground "red" :weight bold)))))
 
-(provide-theme 'dev-tsdh-dark)
-
+(provide-theme 'tsdh-dark)

diff --git a/etc/themes/tsdh-light-theme.el b/etc/themes/tsdh-light-theme.el
index b614dcedd89888a5d528546efc2719da973c2d2b..b66acccaa83f0f8a650784345fa8f2fa81bd864f 100644 (file)
--- a/etc/themes/tsdh-light-theme.el
+++ b/etc/themes/tsdh-light-theme.el
@@ -1,4 +1,4 @@
-;;; dev-tsdh-light-theme.el --- Tassilo's light custom theme
+;;; tsdh-light-theme.el --- Tassilo's light custom theme
 
 ;; Copyright (C) 2011 Free Software Foundation, Inc.
 
@@ -19,11 +19,11 @@
 
 ;;; Code:
 
-(deftheme dev-tsdh-light
+(deftheme tsdh-light
   "Black on white theme used and created by Tassilo Horn.")
 
 (custom-theme-set-faces
- 'dev-tsdh-light
+ 'tsdh-light
  '(default ((t (:background "white" :foreground "black"))))
  '(diff-added ((t (:inherit diff-changed :background "light green"))))
  '(diff-changed ((t (:background "light steel blue"))))
@@ -54,5 +54,4 @@
  '(show-paren-mismatch ((t (:background "deep pink"))))
  '(window-number-face ((t (:foreground "red" :weight bold)))))
 
-(provide-theme 'dev-tsdh-light)
-
+(provide-theme 'tsdh-light)