Ticket #1241 (closed defect: fixed)

Opened 2 years ago

Last modified 14 months ago

Right margin setting is not respected

Reported by: claudio Owned by:
Priority: minor Milestone:
Component: Preference System Version: 0.87
Keywords: Cc:

Description

The right margin is shown at column 34 instead of the default 80. When a use change the values in preferences, the margin stays at column 34 and is not changed.

Attachments

padre-patch.png​ (15.5 KB) - added by zenogantner 20 months ago.
padre patch/diff dialog after resizing window (padre trunk/0.91)

Change History

comment:1 Changed 2 years ago by claudio

  • Summary changed from Right margen setting is not respected to Right margin setting is not respected

comment:2 Changed 20 months ago by azawawi

It seems to me than preferences save functionality is broken even in trunk

comment:3 Changed 20 months ago by azawawi

Aha the preferences forgets to apply the new setting to all current editors. Newer editor instances are affected by the changed margin value.

Changed 20 months ago by zenogantner

padre patch/diff dialog after resizing window (padre trunk/0.91)

comment:4 Changed 20 months ago by zenogantner

Please ignore the attachment, I uploaded it by mistake. Sorry.

comment:5 Changed 14 months ago by bowtie

  • Status changed from new to closed
  • Resolution set to fixed
Note: See TracTickets for help on using tickets.