From 7f5207c304295dda2b10adbd82d5c36627fbe616 Mon Sep 17 00:00:00 2001
From: Matthew Frazier <leafstormrush@gmail.com>
Date: Wed, 27 Aug 2014 18:33:56 -0400
Subject: [PATCH] don't put whole filename in title bar, just basename

I'm not very good at recognizing the effects of my changes.
---
 jes/python/jes/gui/mainwindow.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/jes/python/jes/gui/mainwindow.py b/jes/python/jes/gui/mainwindow.py
index abb7e40..0082ab5 100644
--- a/jes/python/jes/gui/mainwindow.py
+++ b/jes/python/jes/gui/mainwindow.py
@@ -778,7 +778,7 @@ def setFileName(self, filename):
         if filename == '':
             filename = UNTITLED_FILE_NAME
 
-        self.title = APPLICATION_TITLE % filename
+        self.title = APPLICATION_TITLE % os.path.basename(filename)
 
 ##########################################################################
 # Function name: callTextEditFunction