mintmenu/usr/lib/linuxmint/mintMenu
Vincent Vermeulen 1707940be0
Highlight previous search so typing overwrites it
When set to remember the last search, on next opening the menu it would display the last search and put the cursor at the end of it. If you wanted to do a new search you would first have to delete your previous search. More convenient if you starting typing it overwrites the last search and only if you place the cursor with arrow keys or mouse it switches to insert / append text to the last search.

There was existing code that did in fact do that but it was in the wrong place. This patch puts it in the right place. Fixes #86.
2018-02-24 23:31:30 +01:00
..
plugins Highlight previous search so typing overwrites it 2018-02-24 23:31:30 +01:00
search_engines Search updates (#185) 2017-09-25 15:54:35 +02:00
applications.list Add Cinnamon support 2016-12-07 01:43:01 +00:00
compile.py fix indent (#183) 2017-08-26 17:35:45 +02:00
dotted.png Initial commit 2009-07-27 12:45:34 +02:00
icon.png Generic names 2009-07-29 22:50:43 +02:00
icon.svg Generic names 2009-07-29 22:50:43 +02:00
keybinding.py fix indent (#183) 2017-08-26 17:35:45 +02:00
mint-logo.svg Changed logo back to mint logo, and added hover icon 2009-11-06 13:22:35 +00:00
mintMenu.glade glade part #1 2016-09-06 17:52:12 +01:00
mintMenu.png Initial commit 2009-07-27 12:45:34 +02:00
mintMenu.py fix indent (#183) 2017-08-26 17:35:45 +02:00
mintMenuConfig.glade Remove the ability to set a custom border 2017-05-01 13:09:09 -07:00
mintMenuConfig.py fix indent (#183) 2017-08-26 17:35:45 +02:00
pointerMonitor.py fix indent (#183) 2017-08-26 17:35:45 +02:00
popup.xml Fixing prefs app 2013-03-08 20:06:06 -05:00
visualisation-logo.png changelog, removed copyright/USP, changed default applet icon 2010-09-23 18:38:05 +01:00