Ticket #1241 (closed defect: fixed)

Opened 3 years ago

Last modified 2 years 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 3 years ago.
padre patch/diff dialog after resizing window (padre trunk/0.91)

Change History

comment:1 Changed 3 years ago by claudio

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

comment:2 Changed 3 years ago by azawawi

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

comment:3 Changed 3 years 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 3 years ago by zenogantner

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

comment:4 Changed 3 years ago by zenogantner

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

comment:5 Changed 2 years ago by bowtie

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