equal
deleted
inserted
replaced
796 else if (tline == "/discardStyleSheet") |
796 else if (tline == "/discardStyleSheet") |
797 discardStyleSheet(); |
797 discardStyleSheet(); |
798 else if (tline == "/saveStyleSheet") |
798 else if (tline == "/saveStyleSheet") |
799 saveStyleSheet(); |
799 saveStyleSheet(); |
800 else |
800 else |
801 { |
801 emit consoleCommand(tline.mid(1)); |
802 static QRegExp post("\\s.*$"); |
|
803 tline.remove(post); |
|
804 displayWarning(tr("%1 is not a valid command!").arg(tline)); |
|
805 } |
|
806 |
802 |
807 return true; |
803 return true; |
808 } |
804 } |
809 |
805 |
810 return false; |
806 return false; |