Page MenuHomeMusing Studio

No OneTemporary

diff --git a/src/window.vala b/src/window.vala
index bc57635..56ede87 100644
--- a/src/window.vala
+++ b/src/window.vala
@@ -1,297 +1,297 @@
public class WriteAs.MainWindow : Gtk.ApplicationWindow {
private Gtk.TextView canvas;
private static string data_dir = ".writeas";
private bool dark_mode = false;
private string font = "Lora, 'Palatino Linotype',"
+ "'Book Antiqua', 'New York', 'DejaVu serif', serif";
private string fontstyle = "serif";
private bool text_changed = false;
construct {
construct_toolbar();
build_keyboard_shortcuts();
var scrolled = new Gtk.ScrolledWindow(null, null);
canvas = new Gtk.TextView();
canvas.wrap_mode = Gtk.WrapMode.WORD_CHAR;
scrolled.add(canvas);
add(scrolled);
canvas.event_after.connect((evt) => {
// TODO This word count algorithm may be quite naive
// and could do improvement.
var word_count = canvas.buffer.text.split(" ").length;
title = ngettext("%i word","%i words",word_count).printf(word_count);
text_changed = true;
});
Timeout.add_full(Priority.DEFAULT_IDLE, 100/*ms*/, () => {
if (!text_changed) return Source.CONTINUE;
try {
draft_file().replace_contents(canvas.buffer.text.data, null, false,
FileCreateFlags.PRIVATE | FileCreateFlags.REPLACE_DESTINATION,
null);
text_changed = false;
} catch (Error err) {/* We'll try again anyways. */}
return Source.CONTINUE;
});
adjust_text_style();
}
public MainWindow(Gtk.Application app) {
set_application(app);
icon_name = "write-as";
init_folder();
try {
open_file(draft_file());
} catch (Error err) {/* It's fine... */}
restore_styles();
set_default_size(800, 600);
}
private static void init_folder() {
var home = File.new_for_path(get_data_dir());
try {
home.make_directory();
} catch (Error e) {
stderr.printf("Create data dir: %s\n", e.message);
}
}
private static string get_data_dir() {
return Environment.get_home_dir() + "/" + data_dir;
}
private static File draft_file() {
var home = File.new_for_path(get_data_dir());
return home.get_child("draft.txt");
}
private void construct_toolbar() {
var header = new Gtk.HeaderBar();
header.show_close_button = true;
set_titlebar(header);
var publish_button = new Gtk.Button.from_icon_name("document-send",
Gtk.IconSize.SMALL_TOOLBAR);
publish_button.clicked.connect(() => {
canvas.buffer.text += "\n\n" + publish();
});
header.pack_end(publish_button);
var darkmode_button = new Gtk.ToggleButton();
darkmode_button.tooltip_text = _("Toggle dark theme");
// NOTE the fallback icon is a bit of a meaning stretch, but it works.
var icon_theme = Gtk.IconTheme.get_default();
darkmode_button.image = new Gtk.Image.from_icon_name(
icon_theme.has_icon("writeas-bright-dark") ?
"writeas-bright-dark" : "weather-clear-night",
Gtk.IconSize.SMALL_TOOLBAR);
darkmode_button.draw_indicator = false;
var settings = Gtk.Settings.get_default();
darkmode_button.toggled.connect(() => {
settings.gtk_application_prefer_dark_theme = darkmode_button.active;
dark_mode = darkmode_button.active;
adjust_text_style();
});
header.pack_end(darkmode_button);
var fonts = new Gtk.MenuButton();
fonts.tooltip_text = _("Change document font");
fonts.image = new Gtk.Image.from_icon_name("font-x-generic", Gtk.IconSize.SMALL_TOOLBAR);
fonts.popup = new Gtk.Menu();
header.pack_start(fonts);
build_fontoption(fonts.popup, _("Serif"), "serif", font);
build_fontoption(fonts.popup, _("Sans-serif"), "sans",
"'Open Sans', 'Segoe UI', Tahoma, Arial, sans-serif");
build_fontoption(fonts.popup, _("Monospace"), "wrap", "Hack, consolas," +
"Menlo-Regular, Menlo, Monaco, 'ubuntu mono', monospace");
fonts.popup.show_all();
}
private unowned SList<Gtk.RadioMenuItem>? font_options = null;
private void build_fontoption(Gtk.Menu menu,
string label, string fontstyle, string families) {
var option = new Gtk.RadioMenuItem.with_label(font_options, label);
font_options = option.get_group();
option.activate.connect(() => {
this.font = families;
this.fontstyle = fontstyle;
adjust_text_style();
});
var styles = option.get_style_context();
var provider = new Gtk.CssProvider();
try {
provider.load_from_data("* {font: %s;}".printf(families));
styles.add_provider(provider, Gtk.STYLE_PROVIDER_PRIORITY_APPLICATION);
} catch (Error e) {
warning(e.message);
}
menu.add(option);
}
private KeyFile theme = new KeyFile();
private void restore_styles() {
try {
loaded_theme = true;
theme.load_from_file(get_data_dir() + "/prefs.ini", KeyFileFlags.NONE);
dark_mode = theme.get_boolean("Theme", "darkmode");
Gtk.Settings.get_default().gtk_application_prefer_dark_theme = dark_mode;
font = theme.get_string("Theme", "font");
fontstyle = theme.get_string("Theme", "fontstyle");
adjust_text_style(false);
} catch (Error err) {/* No biggy... */}
}
private Gtk.CssProvider cur_styles = null;
// So the theme isn't read before it's saved.
private bool loaded_theme = false;
private void adjust_text_style(bool save_theme = true) {
try {
var styles = canvas.get_style_context();
if (cur_styles != null) styles.remove_provider(cur_styles);
- var css = "* {font: %s; padding: 20px;}".printf(font);
+ var css = "* {font: %s; font-size: 1.15em; padding: 20px;}".printf(font);
if (dark_mode) {
// Try to detect whether the system provided a better dark mode.
var text_color = styles.get_color(Gtk.StateFlags.ACTIVE);
double h, s, v;
Gtk.rgb_to_hsv(text_color.red, text_color.green, text_color.blue,
out h, out s, out v);
if (v < 0.5) css += "* {background: #222; color: white;}";
}
cur_styles = new Gtk.CssProvider();
cur_styles.load_from_data(css);
styles.add_provider(cur_styles, Gtk.STYLE_PROVIDER_PRIORITY_APPLICATION);
if (save_theme && loaded_theme) {
theme.set_boolean("Theme", "darkmode", dark_mode);
theme.set_string("Theme", "font", font);
theme.set_string("Theme", "fontstyle", fontstyle);
theme.save_to_file(get_data_dir() + "/prefs.ini");
}
} catch (Error e) {
warning(e.message);
}
}
private string publish() {
try {
if (text_changed) {;
draft_file().replace_contents(canvas.buffer.text.data, null, false,
FileCreateFlags.PRIVATE | FileCreateFlags.REPLACE_DESTINATION,
null);
text_changed = false;
}
var cmd = "sh -c 'cat ~/" + data_dir + "/draft.txt | writeas --font %s'";
cmd = cmd.printf(fontstyle);
string stdout, stderr;
int status;
Process.spawn_command_line_sync(cmd,
out stdout, out stderr, out status);
// Open it in the browser
if (status == 0) {
var browser = AppInfo.get_default_for_uri_scheme("https");
var urls = new List<string>();
urls.append(stdout.strip());
browser.launch_uris(urls, null);
}
return stderr.strip();
} catch (Error err) {
return err.message;
}
}
/* --- */
private void build_keyboard_shortcuts() {
/* These operations are not exposed to the UI as buttons,
as most people are very familiar with them and they are not the
focus of this app. */
var accels = new Gtk.AccelGroup();
accels.connect(Gdk.Key.W, Gdk.ModifierType.CONTROL_MASK,
Gtk.AccelFlags.VISIBLE | Gtk.AccelFlags.LOCKED,
(g,a,k,m) => quit());
accels.connect(Gdk.Key.Q, Gdk.ModifierType.CONTROL_MASK,
Gtk.AccelFlags.VISIBLE | Gtk.AccelFlags.LOCKED,
(g,a,k,m) => quit());
accels.connect(Gdk.Key.S, Gdk.ModifierType.CONTROL_MASK,
Gtk.AccelFlags.VISIBLE | Gtk.AccelFlags.LOCKED,
(g,a,k,m) => save_as());
accels.connect(Gdk.Key.S,
Gdk.ModifierType.CONTROL_MASK | Gdk.ModifierType.SHIFT_MASK,
Gtk.AccelFlags.VISIBLE | Gtk.AccelFlags.LOCKED,
(g,a,k,m) => save_as());
accels.connect(Gdk.Key.O, Gdk.ModifierType.CONTROL_MASK,
Gtk.AccelFlags.VISIBLE | Gtk.AccelFlags.LOCKED, (g, a, k, m) => {
try {
open_file(prompt_file(Gtk.FileChooserAction.OPEN, _("_Open")));
} catch (Error e) {
// It's fine...
}
return true;
});
add_accel_group(accels);
}
private bool save_as() {
try {
var file = prompt_file(Gtk.FileChooserAction.SAVE, _("_Save as"));
file.replace_contents(canvas.buffer.text.data, null, false,
FileCreateFlags.PRIVATE | FileCreateFlags.REPLACE_DESTINATION,
null);
} catch (Error e) {
// It's fine...
}
return true;
}
private File prompt_file(Gtk.FileChooserAction mode, string action)
throws UserCancellable {
var file_chooser = new Gtk.FileChooserDialog(action, this, mode,
_("_Cancel"), Gtk.ResponseType.CANCEL,
action, Gtk.ResponseType.ACCEPT);
file_chooser.select_multiple = false;
var filter = new Gtk.FileFilter();
filter.add_mime_type("text/plain");
file_chooser.set_filter(filter);
var resp = file_chooser.run();
file_chooser.close();
if (resp == Gtk.ResponseType.ACCEPT) return file_chooser.get_file();
else throw new UserCancellable.USER_CANCELLED("FileChooserDialog");
}
public void open_file(File file) throws Error {
uint8[] text;
file.load_contents(null, out text, null);
canvas.buffer.text = (string) text;
}
private bool quit() {
this.close();
return true;
}
}
errordomain WriteAs.UserCancellable {USER_CANCELLED}

File Metadata

Mime Type
text/x-diff
Expires
Mon, Jan 20, 4:00 AM (1 d, 20 h)
Storage Engine
blob
Storage Format
Raw Data
Storage Handle
3137624

Event Timeline