diff scripts/prefs/getpref.m @ 16749:c9007267cbf5

Variation of color option layouts with columns packed to the left * settings-dialog.cc (settings_dialog::read_workspace_colors, settings_dialog::read_terminal_colors): Add 4 space characters to front of color description. Set the column stretch for last (blank) column to 10.
author Daniel J Sebald <daniel.sebald@ieee.org>
date Tue, 11 Jun 2013 14:02:41 -0500
parents 5d3a684236b0
children 1c89599167a6
line wrap: on
line diff