From 5b3974b6b420388237fd7a9b890ef7db98306045 Mon Sep 17 00:00:00 2001 From: Colin Walters Date: Tue, 1 Mar 2011 07:11:26 -0500 Subject: [PATCH] panel: Remove some unused duplicate constants --- js/ui/panel.js | 8 -------- 1 file changed, 8 deletions(-) diff --git a/js/ui/panel.js b/js/ui/panel.js index d1bf3fd4e..92272df98 100644 --- a/js/ui/panel.js +++ b/js/ui/panel.js @@ -44,14 +44,6 @@ const STANDARD_TRAY_ICON_SHELL_IMPLEMENTATION = { if (Config.HAVE_BLUETOOTH) STANDARD_TRAY_ICON_SHELL_IMPLEMENTATION['bluetooth'] = imports.ui.status.bluetooth.Indicator; -// in org.gnome.desktop.interface -const CLOCK_FORMAT_KEY = 'clock-format'; - -// in org.gnome.shell.clock -const CLOCK_SHOW_DATE_KEY = 'show-date'; -const CLOCK_SHOW_SECONDS_KEY = 'show-seconds'; - - // To make sure the panel corners blend nicely with the panel, // we draw background and borders the same way, e.g. drawing // them as filled shapes from the outside inwards instead of