That preference is working for me as expected i n 4.0.2 - anyone else seeing hcHoep's issue?
Did you exit sql-developer after changing the setting?
I've been running with that setting since we released 4.0.2
But when you change it and then exit sql developer and start it again do you have the old or the new value?
OK, there are 3 settings.
- Show the margin
- Set the margin character position
- Set the margin line color
I'm seeing preferences 1 and 3 being remembered but #2 isn't. I'll log this.
In my case, Save for this preference works for everything but the Right Margin column position.
Toggling it On/Off using the checkbox and changing the Margin Color are fine, but if I change the position from the default of 80 to 132, the new value does not persist between sessions.
And reported previously: Show Right Margin
And works in 3.2.2, so no regression here this is a regression.
Message was edited by: Gary Graham
I am having the same issue. I set the "Show Visible Right Margin" at 120, but when I exit SQL Developer and then restart, the parameter has been set back to 80.
SQL Developer version: 184.108.40.206
Operating System: Windows 7 Enterprise. 32-bit, Intel(R) Core(TM) i5-2520M. 4GB RAM
Java Version: 7 Update 55.
Look and Feel: Oracle