editors/CodeFileEditor.py
changeset 2437 105c20fdeb19
parent 2434 07f48018b6f5
child 2518 c48470e2b383
--- a/editors/CodeFileEditor.py	Fri Oct 05 13:48:54 2018 +0300
+++ b/editors/CodeFileEditor.py	Fri Oct 05 14:22:01 2018 +0300
@@ -24,6 +24,7 @@
 
 
 from __future__ import absolute_import
+from __future__ import division
 import re
 from builtins import str as text
 
@@ -141,9 +142,9 @@
             section_comment = " %s section " % (section)
             len_headers = EDGE_COLUMN - len(section_comment)
             section_comment = \
-                self.COMMENT_HEADER * (len_headers / 2) + \
+                self.COMMENT_HEADER * (len_headers // 2) + \
                 section_comment + \
-                self.COMMENT_HEADER * (len_headers - len_headers / 2)
+                self.COMMENT_HEADER * (len_headers - len_headers // 2)
 
             self.SectionsComments[section] = {
                 "comment": section_comment,