Re: [Pharo-users] Issue on enabling developer options in Pharo Launcher

2015-03-31 Thread Jigyasa Grover
Hey Damien ! You mean the update of PharoLauncher ? PS - Pls ignore the triviality of my question , I am new to Pharo. Thanks and Regards Jigyasa Grover -- View this message in context: http://forum.world.st/Issue-on-enabling-developer-options-in-Pharo-Launcher-tp4815732p4816395.html Sent

Re: [Pharo-users] Issue on enabling developer options in Pharo Launcher

2015-03-31 Thread rohit sharma
hey Damien, before there was a confusion that pharo launcher is not saving proxy settings whenever we close it and we again launch the pharo-launcher we again have to add proxy settings. But the reason for launcher not saving the settings was I was closing the launcher using close button ('X' on

Re: [Pharo-users] Issue on enabling developer options in Pharo Launcher

2015-03-31 Thread Damien Cassou
Hi Jigyasa, Jigyasa Grover grover.jigya...@gmail.com writes: You mean the update of PharoLauncher ? PharoLauncher has had this settings for quite a while now. It's not new. PS - Pls ignore the triviality of my question , I am new to Pharo. no problem. Ask as many questions as you want. --

Re: [Pharo-users] Issue on enabling developer options in Pharo Launcher

2015-03-31 Thread Damien Cassou
Ben Coman b...@openinworld.com writes: Rohit, Would you like to have a go at adding this to PharoLauncher? Currently PharoLauncher filters to show only its own settings. You would need to find how to add the Proxy Settings to the filter. the launcher has its proxy settings too now. --

Re: [Pharo-users] Issue on enabling developer options in Pharo Launcher

2015-03-29 Thread Nicolai Hess
2015-03-29 3:10 GMT+02:00 rohit sharma rohitb...@gmail.com: hi all, I want to save proxy settings in pharo launcher (as discussed on irc with ben, kilon and jigyasa ) and that's why i initially wanted to enable development environment. But actually I was trying to say that it would be nice

Re: [Pharo-users] Issue on enabling developer options in Pharo Launcher

2015-03-28 Thread rohit sharma
hi all, I want to save proxy settings in pharo launcher (as discussed on irc with ben, kilon and jigyasa ) and that's why i initially wanted to enable development environment. But actually I was trying to say that it would be nice if there is some option of saving proxy settings without enabling

Re: [Pharo-users] Issue on enabling developer options in Pharo Launcher

2015-03-28 Thread Jigyasa Grover
Yes Sir. Thanks for the help -- View this message in context: http://forum.world.st/Issue-on-enabling-developer-options-in-Pharo-Launcher-tp4815732p4815794.html Sent from the Pharo Smalltalk Users mailing list archive at Nabble.com.

Re: [Pharo-users] Issue on enabling developer options in Pharo Launcher

2015-03-28 Thread Ben Coman
Rohit, Would you like to have a go at adding this to PharoLauncher? Currently PharoLauncher filters to show only its own settings. You would need to find how to add the Proxy Settings to the filter. Right click on a Setting to browse to where it is defined. Maybe have a look at how in a new

Re: [Pharo-users] Issue on enabling developer options in Pharo Launcher

2015-03-28 Thread Ben Coman
Jigyasa, Just to check I got these additional details right from our chat on IRC: * you wanted to save PharoLauncher with certain web proxy setting * the Ubuntu 14.04 PharoLauncher package was based on Pharo 3 * you got what you needed using PharoLauncher Pharo 4 So you are fine now. Maybe its

Re: [Pharo-users] Issue on enabling developer options in Pharo Launcher

2015-03-28 Thread Nicolai Hess
2015-03-28 11:23 GMT+01:00 Jigyasa Grover grover.jigya...@gmail.com: Sir I have installed the latest version of PharoLauncher on my system (OS : Ubuntu 14.04) Whenever I try to enable the developer option in the settings , I get a warning dialog , in which clicking on Proceed hangs up the

[Pharo-users] Issue on enabling developer options in Pharo Launcher

2015-03-28 Thread Jigyasa Grover
Sir I have installed the latest version of PharoLauncher on my system (OS : Ubuntu 14.04) Whenever I try to enable the developer option in the settings , I get a warning dialog , in which clicking on Proceed hangs up the application. I have repeated the process twice or thrice , but am stuck at