development/gitg
development/gitg
1
0
Fork 0
mirror of https://gitlab.gnome.org/GNOME/gitg synced 2024-10-03 22:54:15 +00:00
Code Issues Packages Projects Releases Wiki Activity

Changed style for diff header

Browse source
This commit is contained in:
Jesse van den Kieboom 2009-01-29 22:32:49 +01:00
parent 83fb4f867a
commit 29e4a12594
2 changed files with 4 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
data/gitgdiff.lang
View file

@ -37,12 +37,11 @@
</styles>
<definitions>
<define-regex id="diff-file">^(diff |index |==== |\*\*\* |new file mode )</define-regex>
<context id="gitgdiff">
<include>
<context id="diff-file" style-ref="diff-file" end-at-line-end="true">
<start>\%{diff-file}</start>
<context id="diff-file" style-ref="diff-file">
<start>^diff --git</start>
<end>\+\+\+ .*$</end>
</context>
<context id="removed-line" style-ref="removed-line">

2
data/gitgstyle.xml
View file

@ -97,7 +97,7 @@
<style name="diff:added-line" foreground="chameleon3"/>
<style name="diff:removed-line" foreground="scarletred1"/>
<style name="diff:changed-line" use-style="def:preprocessor"/>
<style name="diff:diff-file" use-style="def:type"/>
<style name="diff:diff-file" foreground="aluminium2" line-background="orange3"/>
<style name="diff:location" foreground="aluminium1" line-background="skyblue2"/>
<style name="diff:special-case" use-style="def:constant"/>