From 028f9edc2c2cbe5473228af462e90a1fc5246223 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Thomas=20TEMP=C3=89?= Date: Sat, 10 Nov 2012 12:59:40 +0800 Subject: [PATCH] Update designer/editaddon.ui Set add-on editor's font to fixed-width, to make editing Python easier. Also, the window's width has been increased to accomodate 82 characters in width. --- designer/editaddon.ui | 15 ++++++++++++--- 1 file changed, 12 insertions(+), 3 deletions(-) diff --git a/designer/editaddon.ui b/designer/editaddon.ui index 86075166d..68c2cbfd2 100644 --- a/designer/editaddon.ui +++ b/designer/editaddon.ui @@ -6,8 +6,8 @@ 0 0 - 606 - 473 + 753 + 475 @@ -15,7 +15,16 @@ - + + + + Courier 10 Pitch + + + + + +