This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
-- To be used if a DNS lookup for translate.googleapis.com would fail | |
local Translator = require("ui/translator") | |
local http = require("socket.http") | |
Translator.getTransServer = function() | |
-- Change this with a usable/working IP address (that would work if added to a HOSTS file) | |
return "https://180.163.151.162/" | |
end |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
local Screen = require("device").screen | |
local IconWidget = require("ui/widget/iconwidget") | |
local ReaderView = require("apps/reader/modules/readerview") | |
local addWidgets_orig = ReaderView.addWidgets | |
ReaderView.addWidgets = function(self) | |
-- Run original code | |
addWidgets_orig(self) | |
local arrow_size = Screen:scaleBySize(16 * 2) | |
self.arrow = IconWidget:new{ | |
icon = "control.expand.32", |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
local ReaderFooter = require("apps/reader/modules/readerfooter") | |
local onTapFooter_orig = ReaderFooter.onTapFooter | |
ReaderFooter.onTapFooter = function(self, ges) | |
if self.view.flipping_visible then return true end | |
return onTapFooter_orig(self, ges) | |
end |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
local MovableContainer = require("ui/widget/container/movablecontainer") | |
MovableContainer.init = function(self) | |
self.ignore_events = {"touch", "swipe", "hold", "hold_pan", "hold_release", "pan", "pan_release"} | |
end | |
local nope = function() return false end | |
MovableContainer.onMovableSwipe = nope | |
MovableContainer.onMovableHold = nope | |
MovableContainer.onMovableHoldPan = nope | |
MovableContainer.onMovableHoldRelease = nope |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
local Device = require("device") | |
local DictQuickLookup = require("ui/widget/dictquicklookup") | |
local changeDictionary_orig = DictQuickLookup.changeDictionary | |
DictQuickLookup.changeDictionary = function(self, index, skip_update) | |
changeDictionary_orig(self, index, skip_update) | |
local text = self.displayword .. "\n" .. self.definition | |
Device.input.setClipboardText(text) | |
end |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
local Blitbuffer = require("ffi/blitbuffer") | |
local ReaderRolling = require("apps/reader/modules/readerrolling") | |
local Screen = require("device").screen | |
local logger = require("logger") | |
ReaderRolling.onPreRenderDocument = function(self) | |
-- Only enable these hacks when the typography language has been set to Japanese. | |
if self.ui.typography.text_lang_tag ~= "ja" then | |
return | |
end |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/sh | |
#|-*- mode:lisp -*-|# | |
#| | |
exec ros -Q -- $0 "$@" | |
|# | |
(progn ;;init forms | |
(ros:ensure-asdf) | |
#+quicklisp(ql:quickload '() :silent t) | |
) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
config.h | 20 ++++++++++---------- | |
1 file changed, 10 insertions(+), 10 deletions(-) | |
diff --git a/config.h b/config.h | |
index fcb39fd..810b05b 100644 | |
--- a/config.h | |
+++ b/config.h | |
@@ -19,7 +19,7 @@ static const char *colors[][3] = { | |
}; | |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
@String{pub-AW = "Ad{\-d}i{\-s}on-Wes{\-l}ey"} | |
@String{pub-AW:adr = "Reading, MA, USA"} | |
@xdata{els, | |
journaltitle = "European Lisp Symposium", | |
organization = "European Lisp Symposium", | |
shortjournal = "ELS" | |
} | |
@xdata{els18, |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
@phdthesis{EWD:EWDthesis, | |
author = "Edsger W. Dijkstra", | |
title = "Communication with an {A}utomatic {C}omputer", | |
year = "1959", | |
publisher = "Excelsior", | |
school = "University of Amsterdam", | |
url = "http://www.cs.utexas.edu/users/EWD/PhDthesis/PhDthesis.PDF", | |
fileSize = 5263 KB | |
} | |
@techreport{EWD:CR1956.008, |
NewerOlder