Remove profiling.py

[lyx.git] / lib / scripts / prefs2prefs_lfuns.py

diff --git a/lib/scripts/prefs2prefs_lfuns.py b/lib/scripts/prefs2prefs_lfuns.py
index ba4a6ef892b4633bd3676bbe5243cf2cd65be565..5c5501ebbdb66459e4650a013e83c84893695152 100644 (file)
--- a/lib/scripts/prefs2prefs_lfuns.py
+++ b/lib/scripts/prefs2prefs_lfuns.py
@@ -1,5 +1,3 @@
-# -*- coding: utf-8 -*-
-
 # file prefs2prefs-lfuns.py
 # This file is part of LyX, the document processor.
 # Licence details can be found in the file COPYING.
@@ -221,6 +219,27 @@ def remove_date_insert(line):
        return simple_remove(line, "date-insert")
 
 
+re_delete_force = re.compile(r"((char|word)-delete-(for|back)ward)(\s+force)?")
+def delete_force(line):
+       # we change as follows:
+       # char-delete-forward -> char-delete-forward confirm
+       # but:
+       # char-delete-forward force -> char-delete-forward
+       #
+       def change(match):
+               if match.group(4):
+                       return match.group(1)
+               else:
+                       return match.group(1) + " confirm"
+
+       result = re_delete_force.subn(change, line)
+       if result[1]:
+               return (True, result[0])
+       else:
+               return no_match
+
+
+
 #
 ###########################################################
 
@@ -258,6 +277,7 @@ conversions = [
                info_rename_vcstime,
                info_rename_vcsrevision,
                info_rename_vcstreerevision,
-               remove_date_insert
+               remove_date_insert,
+                delete_force
        ]]
 ]