From f6bd76a90be8ad5077dc70e7291e55889f6cc6cb Mon Sep 17 00:00:00 2001
From: Sorin Ionescu <sorin.ionescu@gmail.com>
Date: Tue, 20 Aug 2013 11:22:47 -0400
Subject: [PATCH] Remove unused GNU Screen window number format

---
 modules/terminal/init.zsh | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/modules/terminal/init.zsh b/modules/terminal/init.zsh
index e21aeb5..c5b9dd3 100644
--- a/modules/terminal/init.zsh
+++ b/modules/terminal/init.zsh
@@ -11,13 +11,6 @@ if [[ "$TERM" == 'dumb' ]]; then
   return 1
 fi
 
-# Set the GNU Screen window number.
-if [[ -n "$WINDOW" ]]; then
-  export SCREEN_NO="%B${WINDOW}%b "
-else
-  export SCREEN_NO=""
-fi
-
 # Sets the GNU Screen title.
 function set-screen-window-title {
   if [[ "$TERM" == screen* ]]; then