Changes between Version 19 and Version 20 of Howto
- Timestamp:
- 06/07/10 19:12:37 (3 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Howto
v19 v20 145 145 * Create a wrapper bash script as described above, and save it somewhere in your $PATH, such as /usr/local/bin/padre 146 146 * Add a new GNOME Menu item using the following settings: 147 ** Name: Padre148 ** Command: /usr/local/bin/padre149 ** Icon: /home/patspam/perl5/lib/perl5/auto/share/dist/Padre/icons/padre/64x64/logo.png147 * Name: Padre 148 * Command: /usr/local/bin/padre 149 * Icon: /home/patspam/perl5/lib/perl5/auto/share/dist/Padre/icons/padre/64x64/logo.png 150 150 * Execute /usr/local/bin/padre from your terminal. Padre will launch with a high-res icon. Right-click on the icon and choose "Pin to Dock" 151 151 * Henceforth, you can run Padre without the annoying Dock behaviour by clicking on the persistent Padre icon in your Dock or alternatively by using your GNOME launcher
