Changes between Version 18 and Version 19 of Howto

Timestamp:

06/07/10 19:11:41 (3 years ago)

Author:

patspam

Comment:

--

Howto

@@ -143 +143 @@
 
  * Remove any existing shortcuts/launchers you have previously created for Padre
- * Create a launcher bash script as described above, and save it somewhere in your $PATH, such as /usr/local/bin/padre
- * Execute /usr/local/bin/padre from your terminal. Padre will launch with a low-res icon. Close Padre
+ * Create a wrapper bash script as described above, and save it somewhere in your $PATH, such as /usr/local/bin/padre
  * Add a new GNOME Menu item using the following settings:
  ** Name: Padre