gitg/libgitg/gitg-diff-view-file.vala
2015-12-20 13:24:48 +01:00

621 lines
15 KiB
Vala

/*
* This file is part of gitg
*
* Copyright (C) 2015 - Jesse van den Kieboom
*
* gitg is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation; either version 2 of the License, or
* (at your option) any later version.
*
* gitg is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with gitg. If not, see <http://www.gnu.org/licenses/>.
*/
[GtkTemplate (ui = "/org/gnome/gitg/ui/gitg-diff-view-file.ui")]
class Gitg.DiffViewFile : Gtk.Grid
{
[GtkChild( name = "expander" )]
private Gtk.Expander d_expander;
[GtkChild( name = "label_file_header" )]
private Gtk.Label d_label_file_header;
[GtkChild( name = "diff_stat_file" )]
private DiffStat d_diff_stat_file;
[GtkChild( name = "revealer_hunks" )]
private Gtk.Revealer d_revealer_hunks;
[GtkChild( name = "sourceview_hunks" )]
private Gtk.SourceView d_sourceview_hunks;
private string d_selection_category = "selection";
private Gtk.TextTag d_selection_tag;
private uint d_added;
private uint d_removed;
private bool d_expanded;
public bool expanded
{
get
{
return d_expanded;
}
set
{
if (d_expanded != value)
{
d_expanded = value;
d_revealer_hunks.reveal_child = d_expanded;
var ctx = get_style_context();
if (d_expanded)
{
ctx.add_class("expanded");
}
else
{
ctx.remove_class("expanded");
}
}
}
}
public bool wrap
{
get { return d_sourceview_hunks.wrap_mode != Gtk.WrapMode.NONE; }
set
{
if (value)
{
d_sourceview_hunks.wrap_mode = Gtk.WrapMode.WORD_CHAR;
}
else
{
d_sourceview_hunks.wrap_mode = Gtk.WrapMode.NONE;
}
}
}
public int tab_width
{
get { return (int)d_sourceview_hunks.tab_width; }
set
{
if (value > 0)
{
d_sourceview_hunks.tab_width = (uint)value;
}
}
}
public int maxlines
{
get; set;
}
private bool d_has_selection;
public bool has_selection
{
get { return d_has_selection; }
}
public Ggit.DiffDelta delta
{
get;
construct set;
}
public bool handle_selection
{
get;
construct set;
}
public DiffViewFile(Ggit.DiffDelta delta, bool handle_selection)
{
Object(delta: delta, handle_selection: handle_selection);
}
private DiffViewLinesRenderer d_old_lines;
private DiffViewLinesRenderer d_new_lines;
private DiffViewLinesRenderer d_sym_lines;
construct
{
var gutter = d_sourceview_hunks.get_gutter(Gtk.TextWindowType.LEFT);
d_old_lines = new DiffViewLinesRenderer(DiffViewLinesRenderer.Style.OLD);
d_new_lines = new DiffViewLinesRenderer(DiffViewLinesRenderer.Style.NEW);
d_sym_lines = new DiffViewLinesRenderer(DiffViewLinesRenderer.Style.SYMBOL);
this.bind_property("maxlines", d_old_lines, "maxlines", BindingFlags.DEFAULT | BindingFlags.SYNC_CREATE);
this.bind_property("maxlines", d_new_lines, "maxlines", BindingFlags.DEFAULT | BindingFlags.SYNC_CREATE);
d_old_lines.xpad = 8;
d_new_lines.xpad = 8;
d_sym_lines.xpad = 6;
gutter.insert(d_old_lines, 0);
gutter.insert(d_new_lines, 1);
gutter.insert(d_sym_lines, 2);
if (handle_selection)
{
d_sourceview_hunks.button_press_event.connect(button_press_event_on_view);
d_sourceview_hunks.motion_notify_event.connect(motion_notify_event_on_view);
d_sourceview_hunks.button_release_event.connect(button_release_event_on_view);
d_sourceview_hunks.get_style_context().add_class("handle-selection");
d_sourceview_hunks.realize.connect(() => {
update_cursor(Gdk.CursorType.LEFT_PTR);
});
d_sourceview_hunks.notify["state-flags"].connect(() => {
update_cursor(Gdk.CursorType.LEFT_PTR);
});
d_selection_tag = d_sourceview_hunks.buffer.create_tag("selection");
}
d_sourceview_hunks.set_border_window_size(Gtk.TextWindowType.TOP, 1);
d_sourceview_hunks.style_updated.connect(update_theme);
var settings = Gtk.Settings.get_default();
settings.notify["gtk-application-prefer-dark-theme"].connect(update_theme);
update_theme();
}
private void update_cursor(Gdk.CursorType type)
{
var window = d_sourceview_hunks.get_window(Gtk.TextWindowType.TEXT);
if (window == null)
{
return;
}
var cursor = new Gdk.Cursor.for_display(d_sourceview_hunks.get_display(), type);
window.set_cursor(cursor);
}
private void update_theme()
{
var header_attributes = new Gtk.SourceMarkAttributes();
var added_attributes = new Gtk.SourceMarkAttributes();
var removed_attributes = new Gtk.SourceMarkAttributes();
var settings = Gtk.Settings.get_default();
if (settings.gtk_application_prefer_dark_theme)
{
header_attributes.background = Gdk.RGBA() { red = 224.0 / 255.0, green = 239.0 / 255.0, blue = 1.0, alpha = 1.0 };
added_attributes.background = Gdk.RGBA() { red = 164.0 / 255.0, green = 0.0, blue = 0.0, alpha = 1.0 };
removed_attributes.background = Gdk.RGBA() { red = 78.0 / 255.0, green = 154.0 / 255.0, blue = 6.0 / 255.0, alpha = 1.0 };
}
else
{
header_attributes.background = Gdk.RGBA() { red = 224.0 / 255.0, green = 239.0 / 255.0, blue = 1.0, alpha = 1.0 };
added_attributes.background = Gdk.RGBA() { red = 220.0 / 255.0, green = 1.0, blue = 220.0 / 255.0, alpha = 1.0 };
removed_attributes.background = Gdk.RGBA() { red = 1.0, green = 220.0 / 255.0, blue = 220.0 / 255.0, alpha = 1.0 };
}
if (handle_selection)
{
var selection_attributes = new Gtk.SourceMarkAttributes();
var context = d_sourceview_hunks.get_style_context();
Gdk.RGBA theme_selected_bg_color, theme_selected_fg_color;
if (context.lookup_color("theme_selected_bg_color", out theme_selected_bg_color))
{
selection_attributes.background = theme_selected_bg_color;
}
if (context.lookup_color("theme_selected_fg_color", out theme_selected_fg_color))
{
d_selection_tag.foreground_rgba = theme_selected_fg_color;
}
d_sourceview_hunks.set_mark_attributes(d_selection_category, selection_attributes, 0);
}
d_sourceview_hunks.set_mark_attributes("header", header_attributes, 0);
d_sourceview_hunks.set_mark_attributes("added", added_attributes, 0);
d_sourceview_hunks.set_mark_attributes("removed", removed_attributes, 0);
}
private bool get_line_selected(Gtk.TextIter iter)
{
var text_view = d_sourceview_hunks as Gtk.TextView;
Gtk.TextIter start = iter;
start.set_line_offset(0);
var buffer = text_view.get_buffer() as Gtk.SourceBuffer;
return buffer.get_source_marks_at_iter(start, d_selection_category) != null;
}
private bool get_line_is_diff(Gtk.TextIter iter)
{
var text_view = d_sourceview_hunks as Gtk.TextView;
Gtk.TextIter start = iter;
start.set_line_offset(0);
var buffer = text_view.get_buffer() as Gtk.SourceBuffer;
return (buffer.get_source_marks_at_iter(start, "added") != null) ||
(buffer.get_source_marks_at_iter(start, "removed") != null);
}
private bool get_line_is_hunk(Gtk.TextIter iter)
{
var text_view = d_sourceview_hunks as Gtk.TextView;
Gtk.TextIter start = iter;
start.set_line_offset(0);
var buffer = text_view.get_buffer() as Gtk.SourceBuffer;
return buffer.get_source_marks_at_iter(start, "header") != null;
}
private bool get_iter_from_pointer_position(out Gtk.TextIter iter)
{
var text_view = d_sourceview_hunks as Gtk.TextView;
var win = text_view.get_window(Gtk.TextWindowType.TEXT);
int x, y, width, height;
// To silence unassigned iter warning
var dummy_iter = Gtk.TextIter();
iter = dummy_iter;
width = win.get_width();
height = win.get_height();
var pointer = Gdk.Display.get_default().get_device_manager().get_client_pointer();
win.get_device_position(pointer, out x, out y, null);
if (x < 0 || y < 0 || x > width || y > height)
{
return false;
}
int win_x, win_y;
text_view.window_to_buffer_coords(Gtk.TextWindowType.TEXT, x, y, out win_x, out win_y);
text_view.get_iter_at_location(out iter, win_x, win_y);
return true;
}
private void select_range(Gtk.TextIter start, Gtk.TextIter end)
{
var text_view = d_sourceview_hunks as Gtk.TextView;
var buffer = text_view.get_buffer() as Gtk.SourceBuffer;
Gtk.TextIter real_start, real_end;
real_start = start;
real_end = end;
real_start.order(real_end);
real_start.set_line_offset(0);
while (real_start.get_line() <= real_end.get_line())
{
if (get_line_is_diff(real_start))
{
buffer.create_source_mark(null, d_selection_category, real_start);
var line_end = real_start;
line_end.forward_to_line_end();
buffer.apply_tag(d_selection_tag, real_start, line_end);
}
if (!real_start.forward_line())
{
break;
}
}
}
private void deselect_range(Gtk.TextIter start, Gtk.TextIter end)
{
var text_view = d_sourceview_hunks as Gtk.TextView;
var buffer = text_view.get_buffer() as Gtk.SourceBuffer;
Gtk.TextIter real_start, real_end;
real_start = start;
real_start.set_line_offset(0);
real_end = end;
real_end.forward_to_line_end();
buffer.remove_source_marks(real_start, real_end, d_selection_category);
buffer.remove_tag(d_selection_tag, real_start, real_end);
}
private bool d_is_selecting;
private bool d_is_deselecting;
private Gtk.TextMark d_start_selection_mark;
private Gtk.TextMark d_end_selection_mark;
private bool button_press_event_on_view(Gdk.EventButton event)
{
if (event.button != 1)
{
return false;
}
Gtk.TextIter iter;
if (!get_iter_from_pointer_position(out iter))
{
return false;
}
if (get_line_selected(iter))
{
d_is_deselecting = true;
deselect_range(iter, iter);
}
else
{
d_is_selecting = true;
select_range(iter, iter);
}
var text_view = d_sourceview_hunks as Gtk.TextView;
var buffer = text_view.get_buffer();
d_start_selection_mark = buffer.create_mark(null, iter, false);
d_end_selection_mark = buffer.create_mark(null, iter, false);
return false;
}
private bool motion_notify_event_on_view(Gdk.EventMotion event)
{
Gtk.TextIter iter;
if (!get_iter_from_pointer_position(out iter))
{
return false;
}
update_cursor(get_line_is_hunk(iter) ? Gdk.CursorType.HAND1 : Gdk.CursorType.LEFT_PTR);
if (!d_is_selecting && !d_is_deselecting)
{
return false;
}
var text_view = d_sourceview_hunks as Gtk.TextView;
var buffer = text_view.get_buffer();
Gtk.TextIter start, end, current;
current = iter;
buffer.get_iter_at_mark(out start, d_start_selection_mark);
start.order(current);
if (d_is_selecting)
{
select_range(start, current);
}
else
{
deselect_range(start, current);
}
buffer.get_iter_at_mark(out end, d_end_selection_mark);
if (!end.in_range(start, current))
{
start = end;
current = iter;
start.order(current);
if (d_is_selecting)
{
deselect_range(start, current);
}
else
{
select_range(start, current);
}
}
buffer.move_mark(d_end_selection_mark, iter);
return false;
}
private void update_has_selection()
{
var text_view = d_sourceview_hunks as Gtk.TextView;
var buffer = text_view.get_buffer();
Gtk.TextIter iter;
buffer.get_start_iter(out iter);
bool something_selected = false;
if (get_line_selected(iter))
{
something_selected = true;
}
else
{
something_selected = (buffer as Gtk.SourceBuffer).forward_iter_to_source_mark(iter, d_selection_category);
}
if (something_selected != d_has_selection)
{
d_has_selection = something_selected;
notify_property("has-selection");
}
}
private bool button_release_event_on_view(Gdk.EventButton event)
{
if (event.button != 1)
{
return false;
}
d_is_selecting = false;
d_is_deselecting = false;
var text_view = d_sourceview_hunks as Gtk.TextView;
var buffer = text_view.get_buffer();
buffer.delete_mark(d_start_selection_mark);
d_start_selection_mark = null;
buffer.delete_mark(d_end_selection_mark);
d_end_selection_mark = null;
update_has_selection();
return false;
}
protected override void constructed()
{
base.constructed();
var oldfile = delta.get_old_file();
var newfile = delta.get_new_file();
var oldpath = (oldfile != null ? oldfile.get_path() : null);
var newpath = (newfile != null ? newfile.get_path() : null);
if (delta.get_similarity() > 0)
{
d_label_file_header.label = @"$(newfile.get_path()) ← $(oldfile.get_path())";
}
else if (newpath != null)
{
d_label_file_header.label = newpath;
}
else
{
d_label_file_header.label = oldpath;
}
d_expander.bind_property("expanded", this, "expanded", BindingFlags.BIDIRECTIONAL);
}
public void add_hunk(Ggit.DiffHunk hunk, Gee.ArrayList<Ggit.DiffLine> lines)
{
var buffer = d_sourceview_hunks.buffer as Gtk.SourceBuffer;
/* Diff hunk */
var h = hunk.get_header();
var pos = h.last_index_of("@@");
if (pos >= 0)
{
h = h.substring(pos + 2).chug();
}
h = h.chomp();
Gtk.TextIter iter;
buffer.get_end_iter(out iter);
if (!iter.is_start())
{
buffer.insert(ref iter, "\n", 1);
}
iter.set_line_offset(0);
buffer.create_source_mark(null, "header", iter);
var header = @"@@ -$(hunk.get_old_start()),$(hunk.get_old_lines()) +$(hunk.get_new_start()),$(hunk.get_new_lines()) @@ $h\n";
buffer.insert(ref iter, header, -1);
/* Diff Content */
var content = new StringBuilder();
for (var i = 0; i < lines.size; i++)
{
var line = lines[i];
var text = line.get_text();
switch (line.get_origin())
{
case Ggit.DiffLineType.ADDITION:
d_added++;
break;
case Ggit.DiffLineType.DELETION:
d_removed++;
break;
case Ggit.DiffLineType.CONTEXT_EOFNL:
case Ggit.DiffLineType.ADD_EOFNL:
case Ggit.DiffLineType.DEL_EOFNL:
text = text.substring(1);
break;
}
if (i == lines.size - 1 && text.length > 0 && text[text.length - 1] == '\n')
{
text = text.slice(0, text.length - 1);
}
content.append(text);
}
int line_hunk_start = iter.get_line();
buffer.insert(ref iter, (string)content.data, -1);
d_old_lines.add_hunk(line_hunk_start, iter.get_line(), hunk, lines);
d_new_lines.add_hunk(line_hunk_start, iter.get_line(), hunk, lines);
d_sym_lines.add_hunk(line_hunk_start, iter.get_line(), hunk, lines);
for (var i = 0; i < lines.size; i++)
{
var line = lines[i];
string? category = null;
switch (line.get_origin())
{
case Ggit.DiffLineType.ADDITION:
category = "added";
break;
case Ggit.DiffLineType.DELETION:
category = "removed";
break;
}
if (category != null)
{
buffer.get_iter_at_line(out iter, line_hunk_start + i);
buffer.create_source_mark(null, category, iter);
}
}
d_diff_stat_file.added = d_added;
d_diff_stat_file.removed = d_removed;
sensitive = true;
}
}
// ex:ts=4 noet