equal
deleted
inserted
replaced
103 |
103 |
104 # Define highlight refresh inhibition period in second |
104 # Define highlight refresh inhibition period in second |
105 REFRESH_HIGHLIGHT_PERIOD = 0.1 |
105 REFRESH_HIGHLIGHT_PERIOD = 0.1 |
106 |
106 |
107 HANDLE_CURSORS = { |
107 HANDLE_CURSORS = { |
108 (1, 1) : 2, |
108 (1, 1): 2, |
109 (3, 3) : 2, |
109 (3, 3): 2, |
110 (1, 3) : 3, |
110 (1, 3): 3, |
111 (3, 1) : 3, |
111 (3, 1): 3, |
112 (1, 2) : 4, |
112 (1, 2): 4, |
113 (3, 2) : 4, |
113 (3, 2): 4, |
114 (2, 1) : 5, |
114 (2, 1): 5, |
115 (2, 3) : 5 |
115 (2, 3): 5 |
116 } |
116 } |
117 |
117 |
118 |
118 |
119 def round_scaling(x, n, constraint=0): |
119 def round_scaling(x, n, constraint=0): |
120 fraction = float(x) / float(n) |
120 fraction = float(x) / float(n) |