mintmenu/usr/lib/linuxmint/mintMenu/plugins/easybuttons.py

570 lines
20 KiB
Python
Raw Normal View History

2014-07-07 10:49:32 +01:00
#!/usr/bin/python
2009-07-27 11:45:34 +01:00
from gi.repository import Gtk, Gdk, GLib
2013-03-04 16:50:14 +00:00
from gi.repository import Pango
from gi.repository import GObject
2009-07-27 11:45:34 +01:00
import os.path
import shutil
import re
from execute import *
2009-07-27 11:45:34 +01:00
import xdg.DesktopEntry
import xdg.Menu
from filemonitor import monitor as filemonitor
2013-03-08 16:41:19 +00:00
import ctypes
from ctypes import *
2009-07-27 11:45:34 +01:00
2013-03-08 16:41:19 +00:00
gtk = CDLL("libgtk-x11-2.0.so.0")
2009-07-27 11:45:34 +01:00
2013-03-04 16:50:14 +00:00
class IconManager(GObject.GObject):
2009-07-27 11:45:34 +01:00
2010-09-13 15:54:23 +01:00
__gsignals__ = {
2013-03-04 16:50:14 +00:00
"changed" : (GObject.SignalFlags.RUN_LAST, None, () )
2010-09-13 15:54:23 +01:00
}
def __init__( self ):
2013-03-04 16:50:14 +00:00
GObject.GObject.__init__( self )
2010-09-13 15:54:23 +01:00
self.icons = { }
self.count = 0
# Some apps don't put a default icon in the default theme folder, so we will search all themes
def createTheme( d ):
2013-03-04 16:50:14 +00:00
theme = Gtk.IconTheme()
2010-09-13 15:54:23 +01:00
theme.set_custom_theme( d )
return theme
# This takes to much time and there are only a very few applications that use icons from different themes
#self.themes = map( createTheme, [ d for d in os.listdir( "/usr/share/icons" ) if os.path.isdir( os.path.join( "/usr/share/icons", d ) ) ] )
self.defaultTheme = Gtk.IconTheme.get_default()
2010-09-13 15:54:23 +01:00
defaultKdeTheme = createTheme( "kde.default" )
# Setup and clean up the temp icon dir
configDir = GLib.get_user_config_dir()
self.iconDir = os.path.join(configDir, "mintmenu")
if not os.path.exists(self.iconDir):
os.makedirs(self.iconDir)
contents = os.listdir(self.iconDir)
for fn in contents:
os.remove(os.path.join(self.iconDir, fn))
self.defaultTheme.append_search_path(self.iconDir)
2010-09-13 15:54:23 +01:00
# Themes with the same content as the default them aren't needed
#self.themes = [ theme for theme in self.themes if theme.list_icons() != defaultTheme.list_icons() ]
self.themes = [ self.defaultTheme, defaultKdeTheme ]
2010-09-13 15:54:23 +01:00
# Listen for changes in the themes
for theme in self.themes:
theme.connect("changed", self.themeChanged )
def getIcon( self, iconName, iconSize ):
2010-09-13 15:54:23 +01:00
if not iconName:
return None
try:
iconFileName = ""
realIconName = ""
needTempFile = False
#[ iconWidth, iconHeight ] = self.getIconSize( iconSize )
if iconSize <= 0:
2010-09-13 15:54:23 +01:00
return None
elif os.path.isabs( iconName ):
iconFileName = iconName
needTempFile = True
2010-09-13 15:54:23 +01:00
else:
if iconName[-4:] in [".png", ".xpm", ".svg", ".gif"]:
realIconName = iconName[:-4]
else:
realIconName = iconName
if iconFileName and needTempFile and os.path.exists( iconFileName ):
tmpIconName = iconFileName.replace("/", "-")
realIconName = tmpIconName[:-4]
if not os.path.exists(os.path.join(self.iconDir, tmpIconName)):
shutil.copyfile(iconFileName, os.path.join(self.iconDir, tmpIconName))
self.defaultTheme.append_search_path(self.iconDir)
image = Gtk.Image()
icon_found = False
for theme in self.themes:
if theme.has_icon( realIconName ):
icon_found = True
break
if icon_found:
image.set_from_icon_name(realIconName, Gtk.IconSize.DND)
image.set_pixel_size(iconSize)
2010-09-13 15:54:23 +01:00
else:
image = None
2010-09-13 15:54:23 +01:00
return image
2010-09-13 15:54:23 +01:00
except Exception, e:
print "Exception " + e.__class__.__name__ + ": " + e.message
return None
def themeChanged( self, theme ):
self.emit( "changed" )
2013-03-04 16:50:14 +00:00
GObject.type_register(IconManager)
2009-07-27 11:45:34 +01:00
2013-03-04 16:50:14 +00:00
class easyButton( Gtk.Button ):
2009-07-27 11:45:34 +01:00
2010-09-13 15:54:23 +01:00
def __init__( self, iconName, iconSize, labels = None, buttonWidth = -1, buttonHeight = -1 ):
2013-03-04 16:50:14 +00:00
GObject.GObject.__init__( self )
2010-09-13 15:54:23 +01:00
self.connections = [ ]
self.iconName = iconName
self.iconSize = iconSize
self.showIcon = True
2013-03-04 16:50:14 +00:00
self.set_relief( Gtk.ReliefStyle.NONE )
2010-09-13 15:54:23 +01:00
self.set_size_request( buttonWidth, buttonHeight )
2013-03-04 16:50:14 +00:00
Align1 = Gtk.Alignment.new( 0, 0.5, 1.0, 0 )
HBox1 = Gtk.HBox()
self.labelBox = Gtk.VBox( False, 2 )
2010-09-13 15:54:23 +01:00
2013-03-04 16:50:14 +00:00
self.buttonImage = Gtk.Image()
2010-09-13 15:54:23 +01:00
icon = self.getIcon( self.iconSize )
if icon:
self.buttonImage = icon
2010-09-13 15:54:23 +01:00
else:
#[ iW, iH ] = iconManager.getIconSize( self.iconSize )
self.buttonImage.set_size_request( self.iconSize, self.iconSize )
self.image_box = Gtk.HBox()
self.image_box.pack_start(self.buttonImage, False, False, 5)
self.image_box.show_all()
HBox1.pack_start( self.image_box, False, False, 0 )
2010-09-13 15:54:23 +01:00
if labels:
for label in labels:
if isinstance( label, basestring ):
self.addLabel( label )
elif isinstance( label, list ):
self.addLabel( label[0], label[1] )
self.labelBox.show()
2013-03-04 16:50:14 +00:00
HBox1.pack_start( self.labelBox , True, True, 0)
2010-09-13 15:54:23 +01:00
HBox1.show()
Align1.add( HBox1 )
Align1.show()
self.add( Align1 )
self.connectSelf( "destroy", self.onDestroy )
self.connect( "released", self.onRelease )
# Reload icons when the theme changed
self.themeChangedHandlerId = iconManager.connect("changed", self.themeChanged )
def connectSelf( self, event, callback ):
self.connections.append( self.connect( event, callback ) )
def onRelease( self, widget ):
2013-03-04 16:50:14 +00:00
widget.set_state(Gtk.StateType.NORMAL)
2010-09-13 15:54:23 +01:00
def onDestroy( self, widget ):
self.buttonImage.clear()
iconManager.disconnect( self.themeChangedHandlerId )
for connection in self.connections:
self.disconnect( connection )
del self.connections
def addLabel( self, text, styles = None ):
2013-03-04 16:50:14 +00:00
label = Gtk.Label()
2013-03-08 00:50:53 +00:00
if "<b>" in text or "<span" in text:
label.set_markup(text.replace('&', '&amp;')) # don't remove our pango
2010-09-13 15:54:23 +01:00
else:
label.set_text(text)
2010-09-13 15:54:23 +01:00
if styles:
2013-03-04 16:50:14 +00:00
labelStyle = Pango.AttrList()
2010-09-13 15:54:23 +01:00
for attr in styles:
labelStyle.insert( attr )
label.set_attributes( labelStyle )
2013-03-04 16:50:14 +00:00
label.set_ellipsize( Pango.EllipsizeMode.END )
2010-09-13 15:54:23 +01:00
label.set_alignment( 0.0, 1.0 )
label.show()
2013-03-04 16:50:14 +00:00
self.labelBox.pack_start( label , True, True, 0)
2010-09-13 15:54:23 +01:00
def getIcon ( self, iconSize ):
if not self.iconName:
return None
icon = iconManager.getIcon( self.iconName, iconSize )
if icon is None:
2010-09-13 15:54:23 +01:00
icon = iconManager.getIcon( "application-default-icon", iconSize )
return icon
def setIcon ( self, iconName ):
self.iconName = iconName
self.iconChanged()
# IconTheme changed, setup new button icons
def themeChanged( self, theme ):
self.iconChanged()
2010-09-13 15:54:23 +01:00
def iconChanged( self ):
icon = self.getIcon( self.iconSize )
self.buttonImage.destroy()
2010-09-13 15:54:23 +01:00
if icon:
self.buttonImage = icon
self.image_box.pack_start(self.buttonImage, False, False, 5)
self.image_box.show_all()
2010-09-13 15:54:23 +01:00
else:
#[iW, iH ] = iconManager.getIconSize( self.iconSize )
self.buttonImage.set_size_request( self.iconSize, self.iconSize )
2010-09-13 15:54:23 +01:00
def setIconSize( self, size ):
self.iconSize = size
icon = self.getIcon( self.iconSize )
self.buttonImage.destroy()
2010-09-13 15:54:23 +01:00
if icon:
self.buttonImage = icon
self.image_box.pack_start(self.buttonImage, False, False, 5)
self.image_box.show_all()
2010-09-13 15:54:23 +01:00
elif self.iconSize:
#[ iW, iH ] = iconManager.getIconSize( self.iconSize )
self.buttonImage.set_size_request( self.iconSize, self.iconSize )
2009-07-27 11:45:34 +01:00
2013-03-08 16:41:19 +00:00
class TargetEntry(Structure):
_fields_ = [("target", c_char_p),
("flags", c_int),
("info", c_int)]
2009-07-27 11:45:34 +01:00
class ApplicationLauncher( easyButton ):
2010-09-13 15:54:23 +01:00
def __init__( self, desktopFile, iconSize):
if isinstance( desktopFile, xdg.Menu.MenuEntry ):
desktopItem = desktopFile.DesktopEntry
desktopFile = desktopItem.filename
self.appDirs = desktop.desktopFile.AppDirs
elif isinstance( desktopFile, xdg.Menu.DesktopEntry ):
desktopItem = desktopFile
desktopFile = desktopItem.filename
self.appDirs = [ os.path.dirname( desktopItem.filename ) ]
else:
desktopItem = xdg.DesktopEntry.DesktopEntry( desktopFile )
self.appDirs = [ os.path.dirname( desktopFile ) ]
self.desktopFile = desktopFile
self.startupMonitorId = 0
self.loadDesktopEntry( desktopItem )
self.desktopEntryMonitors = []
base = os.path.basename( self.desktopFile )
for dir in self.appDirs:
self.desktopEntryMonitors.append( filemonitor.addMonitor( os.path.join(dir, base) , self.desktopEntryFileChangedCallback ) )
2010-09-13 15:54:23 +01:00
easyButton.__init__( self, self.appIconName, iconSize )
self.setupLabels()
# Drag and Drop
2013-03-08 16:41:19 +00:00
self.connectSelf( "drag-data-get", self.dragDataGet )
array = TargetEntry * 2
targets = array(( "text/plain", 0, 100 ), ( "text/uri-list", 0, 101 ))
gtk.gtk_drag_source_set(hash(self), Gdk.ModifierType.BUTTON1_MASK, targets, 2, Gdk.DragAction.COPY)
2010-09-13 15:54:23 +01:00
2013-05-08 14:05:09 +01:00
icon = self.getIcon( Gtk.IconSize.DND )
2013-05-08 14:16:55 +01:00
if icon:
iconName, s = icon.get_icon_name()
c = c_char_p(iconName.decode('utf-8', 'ignore').encode('ascii', 'ignore'))
gtk.gtk_drag_source_set_icon_name( hash(self), c)
2010-09-13 15:54:23 +01:00
self.connectSelf( "focus-in-event", self.onFocusIn )
self.connectSelf( "focus-out-event", self.onFocusOut )
self.connectSelf( "clicked", self.execute )
def loadDesktopEntry( self, desktopItem ):
try:
2013-05-02 23:08:56 +01:00
self.appName = self.strip_accents(desktopItem.getName())
self.appGenericName = self.strip_accents(desktopItem.getGenericName())
self.appComment = self.strip_accents(desktopItem.getComment())
2013-05-03 00:12:24 +01:00
self.appExec = self.strip_accents(desktopItem.getExec())
2010-09-13 15:54:23 +01:00
self.appIconName = desktopItem.getIcon()
self.appCategories = desktopItem.getCategories()
self.appMateDocPath = desktopItem.get( "X-MATE-DocPath" ) or ""
2010-09-13 15:54:23 +01:00
self.useTerminal = desktopItem.getTerminal()
self.appPath = desktopItem.getPath()
2010-09-13 15:54:23 +01:00
if not self.appMateDocPath:
2010-09-13 15:54:23 +01:00
self.appKdeDocPath = desktopItem.getDocPath() or ""
self.appName = self.appName.strip()
self.appGenericName = self.appGenericName.strip()
self.appComment = self.appComment.strip()
basename = os.path.basename( self.desktopFile )
self.startupFilePath = os.path.join( os.path.expanduser("~"), ".config", "autostart", basename )
if self.startupMonitorId:
filemonitor.removeMonitor( self.startupMonitorId )
2013-03-10 23:47:02 +00:00
if os.path.exists (self.startupFilePath):
self.startupMonitorId = filemonitor.addMonitor( self.startupFilePath, self.startupFileChanged )
2010-09-13 15:54:23 +01:00
except Exception, e:
print e
self.appName = ""
self.appGenericName = ""
self.appComment = ""
self.appExec = ""
self.appIconName = ""
self.appCategories = ""
self.appDocPath = ""
self.startupMonitorId = 0
def onFocusIn( self, widget, event ):
2013-03-04 16:50:14 +00:00
self.set_relief( Gtk.ReliefStyle.HALF )
2010-09-13 15:54:23 +01:00
def onFocusOut( self, widget, event ):
2013-03-04 16:50:14 +00:00
self.set_relief( Gtk.ReliefStyle.NONE )
2010-09-13 15:54:23 +01:00
def setupLabels( self ):
self.addLabel( self.appName )
def filterText( self, text ):
keywords = text.lower().split()
2013-05-03 00:12:24 +01:00
appName = self.appName.lower()
appGenericName = self.appGenericName.lower()
appComment = self.appComment.lower()
appExec = self.appExec.lower()
2010-09-13 15:54:23 +01:00
for keyword in keywords:
keyw = self.strip_accents(keyword)
if keyw != "" and appName.find( keyw ) == -1 and appGenericName.find( keyw ) == -1 and appComment.find( keyw ) == -1 and appExec.find( keyw ) == -1:
self.hide()
return False
self.show()
return True
def strip_accents(self, string):
2013-05-21 21:24:30 +01:00
value = string
if isinstance(string, unicode):
try:
2013-05-21 21:24:30 +01:00
value = string.encode('UTF8', 'ignore')
except:
2013-05-21 21:24:30 +01:00
pass
return value
2010-09-13 15:54:23 +01:00
def getTooltip( self ):
tooltip = self.appName
if self.appComment != "" and self.appComment != self.appName:
tooltip = tooltip + "\n" + self.appComment
return tooltip
def dragDataGet( self, widget, context, selection, targetType, eventTime ):
if targetType == 100: # text/plain
selection.set_text( "'" + self.desktopFile + "'", -1 )
elif targetType == 101: # text/uri-list
if self.desktopFile[0:7] == "file://":
selection.set_uris( [ self.desktopFile ] )
else:
selection.set_uris( [ "file://" + self.desktopFile ] )
def execute( self, *args ):
if self.appExec:
if self.useTerminal:
cmd = "x-terminal-emulator -e \"" + self.appExec + "\""
if os.path.exists("/usr/bin/mate-terminal"):
cmd = "mate-terminal -e \"" + self.appExec + "\""
Execute(cmd, self.appPath)
2010-09-13 15:54:23 +01:00
else:
Execute(self.appExec, self.appPath)
2010-09-13 15:54:23 +01:00
def uninstall (self, *args ):
Execute("gksu /usr/lib/linuxmint/common/mint-remove-application.py " + self.desktopFile)
2010-09-13 15:54:23 +01:00
# IconTheme changed, setup new icons for button and drag 'n drop
def iconChanged( self ):
easyButton.iconChanged( self )
2013-05-08 14:05:09 +01:00
icon = self.getIcon( Gtk.IconSize.DND )
2013-05-08 14:16:55 +01:00
if icon:
iconName, size = icon.get_icon_name()
c = c_char_p(iconName.encode('ascii', 'ignore'))
gtk.gtk_drag_source_set_icon_name( hash(self), c)
2010-09-13 15:54:23 +01:00
def startupFileChanged( self, *args ):
self.inStartup = os.path.exists( self.startupFilePath )
def addToStartup( self ):
startupDir = os.path.join( os.path.expanduser("~"), ".config", "autostart" );
if not os.path.exists( startupDir ):
os.makedirs( startupDir )
shutil.copyfile( self.desktopFile, self.startupFilePath )
# Remove %u, etc. from Exec entry, because MATE will not replace them when it starts the app
item = matedesktop.item_new_from_uri( self.startupFilePath, matedesktop.LOAD_ONLY_IF_EXISTS )
2010-09-13 15:54:23 +01:00
if item:
r = re.compile("%[A-Za-z]");
tmp = r.sub("", item.get_string( matedesktop.KEY_EXEC ) ).strip()
item.set_string( matedesktop.KEY_EXEC, tmp )
2010-09-13 15:54:23 +01:00
item.save( self.startupFilePath, 0 )
def removeFromStartup( self ):
if os.path.exists( self.startupFilePath ):
os.remove( self.startupFilePath )
def addToFavourites( self ):
favouritesDir = os.path.join( os.path.expanduser("~"), ".linuxmint", "mintMenu", "applications" );
if not os.path.exists( favouritesDir ):
os.makedirs( favouritesDir )
shutil.copyfile( self.desktopFile, self.favouritesFilePath )
def removeFromFavourites( self ):
if os.path.exists( self.favouritesFilePath ):
os.remove( self.favouritesFilePath )
def isInStartup( self ):
#return self.inStartup
return os.path.exists( self.startupFilePath )
def onDestroy( self, widget ):
easyButton.onDestroy( self, widget )
if self.startupMonitorId:
filemonitor.removeMonitor( self.startupMonitorId )
for id in self.desktopEntryMonitors:
filemonitor.removeMonitor( id )
def desktopEntryFileChangedCallback (self):
GLib.timeout_add(200, self.onDesktopEntryFileChanged)
2010-09-13 15:54:23 +01:00
def onDesktopEntryFileChanged( self ):
exists = False
base = os.path.basename( self.desktopFile )
for dir in self.appDirs:
if os.path.exists( os.path.join( dir, base ) ):
2013-05-08 19:45:29 +01:00
# print os.path.join( dir, base ), self.desktopFile
2010-09-13 15:54:23 +01:00
self.loadDesktopEntry( xdg.DesktopEntry.DesktopEntry( os.path.join( dir, base ) ) )
for child in self.labelBox:
child.destroy()
self.iconName = self.appIconName
2010-09-13 15:54:23 +01:00
self.setupLabels()
self.iconChanged()
2010-09-13 15:54:23 +01:00
exists = True
break
if not exists:
# FIXME: What to do in this case?
self.destroy()
return False
2009-07-27 11:45:34 +01:00
class MenuApplicationLauncher( ApplicationLauncher ):
2010-09-13 15:54:23 +01:00
def __init__( self, desktopFile, iconSize, category, showComment, highlight=False ):
self.showComment = showComment
self.appCategory = category
self.highlight = highlight
ApplicationLauncher.__init__( self, desktopFile, iconSize )
def filterCategory( self, category ):
if self.appCategory == category or category == "":
self.show()
else:
self.hide()
def setupLabels( self ):
appName = self.appName
appComment = self.appComment
if self.highlight:
try:
2013-03-04 16:50:14 +00:00
#color = self.labelBox.rc_get_style().fg[ Gtk.StateType.SELECTED ].to_string()
#if len(color) > 0 and color[0] == "#":
#appName = "<span foreground=\"%s\"><b>%s</b></span>" % (color, appName);
#appComment = "<span foreground=\"%s\"><b>%s</b></span>" % (color, appComment);
#appName = "<b>%s</b>" % (appName);
#appComment = "<b>%s</b>" % (appComment);
#else:
#appName = "<b>%s</b>" % (appName);
#appComment = "<b>%s</b>" % (appComment);
appName = "<b>%s</b>" % (appName);
appComment = "<b>%s</b>" % (appComment);
2010-09-13 15:54:23 +01:00
except Exception, detail:
print detail
pass
2013-03-08 00:50:53 +00:00
if self.showComment and self.appComment != "":
if self.iconSize <= 2:
self.addLabel( '<span size="small">%s</span>' % appName)
self.addLabel( '<span size="x-small">%s</span>' % appComment)
else:
self.addLabel( appName )
self.addLabel( '<span size="small">%s</span>' % appComment)
else:
self.addLabel( appName )
2010-09-13 15:54:23 +01:00
def execute( self, *args ):
self.highlight = False
for child in self.labelBox:
child.destroy()
self.setupLabels()
return super(MenuApplicationLauncher, self).execute(*args)
def setShowComment( self, showComment ):
self.showComment = showComment
for child in self.labelBox:
child.destroy()
self.setupLabels()
2009-07-27 11:45:34 +01:00
class FavApplicationLauncher( ApplicationLauncher ):
2010-09-13 15:54:23 +01:00
def __init__( self, desktopFile, iconSize, swapGeneric = False ):
self.swapGeneric = swapGeneric
2009-07-27 11:45:34 +01:00
2010-09-13 15:54:23 +01:00
ApplicationLauncher.__init__( self, desktopFile, iconSize )
2009-07-27 11:45:34 +01:00
2010-09-13 15:54:23 +01:00
def setupLabels( self ):
if self.appGenericName:
if self.swapGeneric:
2013-03-08 00:50:53 +00:00
self.addLabel( '<span weight="bold">%s</span>' % self.appName )
2010-09-13 15:54:23 +01:00
self.addLabel( self.appGenericName )
else:
2013-03-08 00:50:53 +00:00
self.addLabel( '<span weight="bold">%s</span>' % self.appGenericName )
2010-09-13 15:54:23 +01:00
self.addLabel( self.appName )
else:
2013-03-08 00:50:53 +00:00
self.addLabel( '<span weight="bold">%s</span>' % self.appName )
2010-09-13 15:54:23 +01:00
if self.appComment != "":
self.addLabel( self.appComment )
else:
self.addLabel ( "" )
2010-09-13 15:54:23 +01:00
def setSwapGeneric( self, swapGeneric ):
self.swapGeneric = swapGeneric
for child in self.labelBox:
child.destroy()
2009-07-27 11:45:34 +01:00
2010-09-13 15:54:23 +01:00
self.setupLabels()
2009-07-27 11:45:34 +01:00
class CategoryButton( easyButton ):
2010-09-13 15:54:23 +01:00
def __init__( self, iconName, iconSize, labels , f ):
easyButton.__init__( self, iconName, iconSize, labels )
self.filter = f
2009-07-27 11:45:34 +01:00
iconManager = IconManager()